Embedded Finite Models Beyond Restricted Quantifier Collapse

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Benedikt, Michael, Hrushovski, Ehud
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Model Equivalences
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

Approximate equivalence relations
von: Hrushovski, Ehud
Veröffentlicht: (2024)

Valued fields, Metastable groups
von: Hrushovski, Ehud, et al.
Veröffentlicht: (2017)

Specialization of Difference Equations and High Frobenius Powers
von: Dor, Yuval, et al.
Veröffentlicht: (2022)

Groupoids, imaginaries and internal covers
von: Hrushovski, Ehud
Veröffentlicht: (2006)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
von: Benedikt, Michael, et al.
Veröffentlicht: (2026)

From learnable objects to learnable random objects
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2026)

Universal Horn Sentences and the Joint Embedding Property
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2021)

Compactifications of pseudofinite and pseudo-amenable groups
von: Conant, Gabriel, et al.
Veröffentlicht: (2023)

Globally valued fields: foundations
von: Yaacov, Itaï Ben, et al.
Veröffentlicht: (2024)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Finite Variable Counting Logics with Restricted Requantification
von: Raßmann, Simon, et al.
Veröffentlicht: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
von: Zhuk, Dmitriy
Veröffentlicht: (2024)

Tighter Bounds for Query Answering with Guarded TGDs
von: Amarilli, Antoine, et al.
Veröffentlicht: (2022)

Complete Symmetry Breaking for Finite Models
von: Dančo, Marek, et al.
Veröffentlicht: (2025)

Imaginaries, products and the adele ring
von: Derakhshan, Jamshid, et al.
Veröffentlicht: (2023)

Revisiting virtual difference ideals
von: Chatzidakis, Zoé, et al.
Veröffentlicht: (2016)

Choiceless Computation and Symmetry: Limitations of Definability
von: Pago, Benedikt
Veröffentlicht: (2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

The complexity of Presburger arithmetic with power or powers
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
von: Benedikt, Michael, et al.
Veröffentlicht: (2022)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Prime Factorization in Models of PV$_1$
von: Ježil, Ondřej
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

The Qualitative Collapse of Concurrent Games
von: Clairambault, Pierre
Veröffentlicht: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
von: Mottet, Antoine, et al.
Veröffentlicht: (2021)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

Analysis of logics with arithmetic
von: Benedikt, Michael, et al.
Veröffentlicht: (2025)

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
von: Vinall-Smeeth, Harry
Veröffentlicht: (2023)

Interpolation and Quantifiers in Ortholattices
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

The Undecidability of Quantified Announcements
von: Ågotnes, Thomas, et al.
Veröffentlicht: (2024)

Non-locally modular regular types in classifiable theories
von: Bouscaren, Elisabeth, et al.
Veröffentlicht: (2019)

Parameterized Infinite-State Reactive Synthesis
von: Maderbacher, Benedikt, et al.
Veröffentlicht: (2025)