Cover Image

Uncountable sets and an infinite linear order game

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Matos-Wiederhold, Tonatiuh, Salvetti, Luciano
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

The Open Coloring Axiom
by: Matos-Wiederhold, Tonatiuh
Published: (2022)

No Countable Basis for Borel Directed Graphs of Dichromatic Number at Least Three
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

A Concise Proof of the $L_0$ Dichotomy
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

Complexity of deep computations via topology of function spaces
by: Dueñez, Eduardo, et al.
Published: (2026)

Counting in Uncountably Categorical Pseudofinite Structures
by: Van Abel, Alexander
Published: (2021)

Strong Completeness of Provability Logic for Uncountable Languages
by: Golshani, Mohammad, et al.
Published: (2026)

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

Uncountable homogeneous structures
by: Bartoš, Adam, et al.
Published: (2024)

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

Randomness via infinite computation and effective descriptive set theory
by: Carl, Merlin, et al.
Published: (2016)

Characterising memory in infinite games
by: Casares, Antonio, et al.
Published: (2022)

An order out of nowhere: a new algorithm for infinite-domain CSPs
by: Mottet, Antoine, et al.
Published: (2023)

Forcing With Copies of Uncountable Ordinals
by: Kurilić, Miloš S.
Published: (2023)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
by: Yung, Clement
Published: (2024)

Toward higher-order infinite time Turing machines: simulational $Γ$-machines
by: Bournez, Olivier, et al.
Published: (2025)

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

On the number of cofinalities of cuts in ultraproducts of linear orders
by: Golshani, Mohammad
Published: (2025)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

Scott analysis, linear orders and almost periodic functions
by: Gonzalez, David, et al.
Published: (2024)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
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)

Quantum set theory: quantum conditionals and order of observable
by: Ozawa, Masanao
Published: (2024)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)

Unavoidable structures in infinite tournaments
by: Benford, Alistair, et al.
Published: (2023)

Exponentiable linear orders need not be transitive
by: Mittal, Mihir, et al.
Published: (2024)

Hanf numbers for poset games
by: Herrera, Fabián Rivero
Published: (2025)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Uncountable Hyperfiniteness and The Random Ratio Ergodic Theorem
by: Avraham-Re'em, Nachi, et al.
Published: (2024)

Star operation, microscopic sets and porous sets
by: Perkowska, Daria, et al.
Published: (2025)

Free sets, thin sets and rainbows for barriers
by: Carlucci, Lorenzo, et al.
Published: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

Rigid many-one degrees contain infinite antichains of $1$-degrees
by: Cintioli, Patrizio
Published: (2026)

Discrete sets definable in strong expansions of ordered Abelian groups
by: Dolich, Alfred, et al.
Published: (2022)

Mad families of Gowers' infinite block sequences
by: Yung, Clement
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)