:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Džamonja, Mirna
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2512.23003
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On maximal order type of the lexicographic product
by: Džamonja, Mirna, et al.
Published: (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$
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)

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

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)

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

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

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

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

FO logic on cellular automata orbits equals MSO logic
by: Theyssier, Guillaume
Published: (2024)

Borel complexity of the set of typical numbers
by: Tomaszewski, Jakub
Published: (2022)

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

The structure of polynomial growth for tree automata/transducers and MSO set queries
by: Gallot, Paul, et al.
Published: (2025)

Decidability of MSO Reparameterization over Countable Chains
by: Rabinovich, Alexander
Published: (2026)

Multidimensional tilings and MSO logic
by: Pallen, Rémi, et al.
Published: (2025)

Continuous logic in a classical setting
by: Agostini, Claudio, et al.
Published: (2024)

Low rank MSO
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
by: Kaneko, Hajime, et al.
Published: (2025)

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

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

Finite Kripke models and provability interpretations in quantified modal logic
by: Kogure, Haruka, et al.
Published: (2026)

The role of counting quantifiers in laminar set systems
by: Campbell, Rutger, et al.
Published: (2025)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
by: Andrews, Uri, et al.
Published: (2024)

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

Borel sets of Rado graphs and Ramsey's Theorem
by: Dobrinen, Natasha
Published: (2019)

On Borel sets in ideal topologies
by: Moreno, Miguel, et al.
Published: (2025)

The logic behind desirable sets of things, and its filter representation
by: de Cooman, Gert, et al.
Published: (2023)

An order analysis of hyperfinite Borel equivalence relations
by: Gao, Su, et al.
Published: (2024)

The transcendence degree of the reals over certain set-theoretical subfields
by: Fatalini, Azul, et al.
Published: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
by: Dowek, Gilles, et al.
Published: (2023)

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

A Dichotomy Theorem for Ordinal Ranks in MSO
by: Niwiński, Damian, et al.
Published: (2025)

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

Uncountable sets and an infinite linear order game
by: Matos-Wiederhold, Tonatiuh, et al.
Published: (2024)

Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property
by: Deka, Konrad, et al.
Published: (2022)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

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