Cover Image

On maximal order type of the lexicographic product

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Džamonja, Mirna, Vialard, Isa
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
by: Džamonja, Mirna
Published: (2025)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
by: Džamonja, Mirna
Published: (2025)

Note on the Splitting Property in Strongly Dense Posets of Size $\aleph_0$
by: Džamonja, Mirna
Published: (2026)

A note on iterating strongly $(<λ)$-closed stationary $λ^+$-cc forcing
by: Džamonja, Mirna
Published: (2026)

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
by: Džamonja, Mirna
Published: (2026)

Ordinal measures of the set of finite multisets
by: Vialard, Isa
Published: (2023)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
by: Vialard, Isa
Published: (2025)

Club guessing and the universal models
by: Džamonja, Mirna
Published: (2006)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
by: Džamonja, Mirna, et al.
Published: (2017)

Big Ramsey Degrees in Ultraproducts of Finite Structures
by: Bartošová, Dana, et al.
Published: (2022)

Introducing a nontrivial square_omega
by: Dolinar, Gregor K., et al.
Published: (2010)

Measuring well quasi-ordered finitary powersets
by: Abriola, Sergio, et al.
Published: (2023)

Isomorphism types of definable (maximal) cofinitary groups
by: Schembecker, Lukas
Published: (2025)

A Walk on the Wild Side: Notions of maximality in first-order theories
by: Bailetti, Michele
Published: (2024)

On the Tukey types of Fubini products
by: Benhamou, Tom, et al.
Published: (2023)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Groups with infinite linearly ordered products
by: Bagayoko, Vincent
Published: (2024)

A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)

On maximal nowhere dense sublocales
by: Nxumalo, Mbekezeli
Published: (2024)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

A Borel maximal cofinitary group
by: Horowitz, Haim, et al.
Published: (2016)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)