Cover Image

The Borel monadic theory of order is decidable

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Manthe, Sven
Format:	Preprint
Published:	2024
Subjects:	Logic 03B25 (Primary) 03C85, 03E15 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)

A choice-free proof of Mal'cev's theorem on quasivarieties
by: Shen, Guozhen
Published: (2025)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)

On ordering of surjective cardinals
by: Shen, Guozhen, et al.
Published: (2025)

Towards a theory of symmetric extensions
by: Karagila, Asaf, et al.
Published: (2026)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

Ranked Forcing and the Length of Generalized Borel Hierarchies
by: Chapman, Nick
Published: (2026)

Intermediate models and Kinna--Wagner Principles
by: Karagila, Asaf, et al.
Published: (2024)

A note on surjective cardinals
by: Jin, Jiaheng, et al.
Published: (2024)

Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)

A note on dual Dedekind finiteness
by: Mao, Ruihuan, et al.
Published: (2024)

Upwards homogeneity in iterated symmetric extensions
by: Ryan-Smith, Calliope, et al.
Published: (2024)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
by: Andretta, Alessandro, et al.
Published: (2023)

A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)

Amorphous sets and dual Dedekind finiteness
by: Hu, Yifan, et al.
Published: (2025)

Small measurable cardinals
by: Hayut, Yair, et al.
Published: (2022)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

The finitary partitions with $n$ non-singleton blocks of a set
by: Hu, Yifan, et al.
Published: (2024)

Local reflections of choice
by: Ryan-Smith, Calliope
Published: (2024)

Geometric condition for Dependent Choice
by: Karagila, Asaf, et al.
Published: (2022)

Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
by: Karagila, Asaf, et al.
Published: (2023)

Approaching a Bristol model
by: Karagila, Asaf
Published: (2020)

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
by: Ryan-Smith, Calliope
Published: (2023)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Borel Polychromatic Number of Grids
by: Berlow, Katalin, et al.
Published: (2025)

The generalized continuous model theory, Borel complexity and stability
by: Ivanov, Aleksander
Published: (2026)

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

Eccentricity, extendable choice and descending distributive forcing
by: Ryan-Smith, Calliope
Published: (2025)

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

Generalized Borel Sets
by: Agostini, Claudio, et al.
Published: (2025)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

The Borel Ramsey properties for countable Borel equivalence relations
by: Gao, Su, et al.
Published: (2024)

Three forms of the Erdős-Dushnik-Miller Theorem
by: Howard, Paul, et al.
Published: (2024)