Copertina

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bodirsky, Manuel, Bodor, Bertalan
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic 03C10, 03C05, 03C98, 03C40, 03C35 F.2.2; F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Taking model-complete cores
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)

Notions of rank and independence in countably categorical theories
di: Koponen, Vera
Pubblicazione: (2025)

A Tame Generic Structure with Non-Algebraic Geometric Closure
di: Jalili, Somaye, et al.
Pubblicazione: (2020)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

Adding an Implication to Logics of Perfect Paradefinite Algebras
di: Greati, Vitor, et al.
Pubblicazione: (2023)

Random expansions of finite structures with bounded degree
di: Koponen, Vera
Pubblicazione: (2024)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
di: Gregory, Lorna, et al.
Pubblicazione: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
di: Gregory, Lorna, et al.
Pubblicazione: (2019)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
di: Sato, Yuta
Pubblicazione: (2025)

Towards a Finer Classification of Strongly Minimal Sets
di: Baldwin, John T., et al.
Pubblicazione: (2021)

Interpolation and the Exchange Rule
di: Fussner, Wesley, et al.
Pubblicazione: (2023)

The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)

Quite Complete Real Closed fields
di: Shelah, Saharon
Pubblicazione: (2001)

Hierarchies of direct powers, ultrapowers and cumulative powers
di: Yago, Pedro Teixeira
Pubblicazione: (2026)

Limit Semigroups with 2 Generators
di: Estrada, Felipe, et al.
Pubblicazione: (2025)

Decidability for the theory of modules over a Prüfer domain
di: Gregory, Lorna
Pubblicazione: (2021)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
di: Koponen, Vera, et al.
Pubblicazione: (2023)

On a new theory of models for formal mathematical systems
di: Kunik, Matthias
Pubblicazione: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
di: Kunik, Matthias
Pubblicazione: (2024)

Elements of affine model theory
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
di: Badano, Mariana
Pubblicazione: (2025)

Random expansions of trees with bounded height
di: Koponen, Vera, et al.
Pubblicazione: (2024)

E-ideals in exponential polynomial ring
di: D'Aquino, P., et al.
Pubblicazione: (2022)

Pseudofiniteness of the Farey Graph
di: Lockhart, Connor Martinez
Pubblicazione: (2026)

Preservation Theorems Through the Lens of Topology
di: Lopez, Aliaume
Pubblicazione: (2020)

Learning Families of Algebraic Structures from Text
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
di: Fukumoto, Yusei
Pubblicazione: (2025)

The Generic Circular Triangle-Free Graph
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

Two strong undefinability results in inquisitive and team semantics
di: Barbero, Fausto
Pubblicazione: (2024)

Corona Rigidity
di: Farah, Ilijas, et al.
Pubblicazione: (2022)

On groups definable in $p$-adically closed fields
di: Pillay, Anand, et al.
Pubblicazione: (2026)

The conjectures of Kumbhakar, Roy, and Srinivasan
di: Freitag, James, et al.
Pubblicazione: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

Zilber's notion of logically perfect structure: Universal Covers
di: Baldwin, John T., et al.
Pubblicazione: (2023)

Some contributions to presheaf model theory
di: Brunner, Andreas, et al.
Pubblicazione: (2024)

Cartagena Logic
di: Kivimäki, Siiri, et al.
Pubblicazione: (2021)

Remarks on Primitive Regulation
di: Rosko, Milan
Pubblicazione: (2026)

Hereditary First-Order Logic: the tractable quantifier prefix classes
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

On the Computational Power of Extensional ESO
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)