Image de couverture de livre

MSO logic of the real order with the set quantifiers ranging over the Borel sets

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Džamonja, Mirna
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On maximal order type of the lexicographic product
par: Džamonja, Mirna, et autres
Publié: (2024)

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

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

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

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
par: Džamonja, Mirna
Publié: (2026)

Partitioning the real line into Borel sets
par: Brian, Will
Publié: (2021)

Club guessing and the universal models
par: Džamonja, Mirna
Publié: (2006)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
par: Abraham, Uri, et autres
Publié: (2023)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
par: Džamonja, Mirna, et autres
Publié: (2017)

Big Ramsey Degrees in Ultraproducts of Finite Structures
par: Bartošová, Dana, et autres
Publié: (2022)

Introducing a nontrivial square_omega
par: Dolinar, Gregor K., et autres
Publié: (2010)

Borel complexity of the set of typical numbers
par: Tomaszewski, Jakub
Publié: (2022)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

FO logic on cellular automata orbits equals MSO logic
par: Theyssier, Guillaume
Publié: (2024)

The structure of polynomial growth for tree automata/transducers and MSO set queries
par: Gallot, Paul, et autres
Publié: (2025)

Decidability of MSO Reparameterization over Countable Chains
par: Rabinovich, Alexander
Publié: (2026)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
par: Kaneko, Hajime, et autres
Publié: (2025)

Continuous logic in a classical setting
par: Agostini, Claudio, et autres
Publié: (2024)

Multidimensional tilings and MSO logic
par: Pallen, Rémi, et autres
Publié: (2025)

Low rank MSO
par: Bojańczyk, Mikołaj, et autres
Publié: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
par: Kogure, Haruka, et autres
Publié: (2026)

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
par: Piórkowski, Radosław
Publié: (2026)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
par: Castiglioni, José Luis, et autres
Publié: (2025)

An order analysis of hyperfinite Borel equivalence relations
par: Gao, Su, et autres
Publié: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

The role of counting quantifiers in laminar set systems
par: Campbell, Rutger, et autres
Publié: (2025)

The logic behind desirable sets of things, and its filter representation
par: de Cooman, Gert, et autres
Publié: (2023)

The transcendence degree of the reals over certain set-theoretical subfields
par: Fatalini, Azul, et autres
Publié: (2024)

A note on uniform definability of types over finite sets in partial orders of finite width
par: Krisam, Timo, et autres
Publié: (2024)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
par: Andrews, Uri, et autres
Publié: (2024)

Uncountable sets and an infinite linear order game
par: Matos-Wiederhold, Tonatiuh, et autres
Publié: (2024)

New foundations of reasoning via real-valued first-order logics
par: Badia, Guillermo, et autres
Publié: (2022)

Borel sets of Rado graphs and Ramsey's Theorem
par: Dobrinen, Natasha
Publié: (2019)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
par: Dowek, Gilles, et autres
Publié: (2023)

Tarskian truth theories over set theory
par: Enayat, Ali
Publié: (2026)

Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property
par: Deka, Konrad, et autres
Publié: (2022)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
par: Mählmann, Nikolas
Publié: (2025)

A Dichotomy Theorem for Ordinal Ranks in MSO
par: Niwiński, Damian, et autres
Publié: (2025)

On Borel sets in ideal topologies
par: Moreno, Miguel, et autres
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)