Buchumschlag

Measuring the Complexity of Countable Presburger Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Block, Jason
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
von: Block, Jason
Veröffentlicht: (2024)

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
von: Bell, Jason, et al.
Veröffentlicht: (2025)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
von: Akshay, S., et al.
Veröffentlicht: (2025)

Speedups for Presburger Arithmetic and Real Closed Fields
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2026)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

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

On the Decidability of Presburger Arithmetic Expanded with Powers
von: Karimov, Toghrul, et al.
Veröffentlicht: (2024)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Decidability of extensions of Presburger arithmetic by generalised polynomials
von: Konieczny, Jakub
Veröffentlicht: (2024)

On Presburger arithmetic extended with non-unary counting quantifiers
von: Habermehl, Peter, et al.
Veröffentlicht: (2022)

On two-variable guarded fragment logic with expressive local Presburger constraints
von: Lu, Chia-Hsuan, et al.
Veröffentlicht: (2022)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2026)

One-Parametric Presburger Arithmetic has Quantifier Elimination
von: Mansutti, Alessio, et al.
Veröffentlicht: (2025)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
von: Schmerl, James
Veröffentlicht: (2026)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
von: Brown, Hera, et al.
Veröffentlicht: (2025)

No Countable Basis for Borel Directed Graphs of Dichromatic Number at Least Three
von: Matos-Wiederhold, Tonatiuh
Veröffentlicht: (2026)

The Countable Reals
von: Bauer, Andrej, et al.
Veröffentlicht: (2024)

Decidability of MSO Reparameterization over Countable Chains
von: Rabinovich, Alexander
Veröffentlicht: (2026)

Countably compact extensions and cardinal characteristics of the continuum
von: Bardyla, Serhii, et al.
Veröffentlicht: (2024)

Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof
von: Choffrut, Christian
Veröffentlicht: (2024)

Separable C*-algebras Without the Countable Axiom of Choice
von: Blackadar, Bruce, et al.
Veröffentlicht: (2026)

Terminal Coalgebras in Countably Many Steps
von: Adámek, Jiří, et al.
Veröffentlicht: (2023)

Linear Orders in Presburger Arithmetic
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2022)

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
von: Gilson, Frank
Veröffentlicht: (2026)

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions
von: Gilson, Frank
Veröffentlicht: (2025)

Countable real analysis
von: Klazar, Martin
Veröffentlicht: (2023)

Stable reducts of elementary extensions of Presburger arithmetic
von: Alouf, Eran, et al.
Veröffentlicht: (2024)

Computability for tree presentations of continuum-size structures
von: Block, Jason, et al.
Veröffentlicht: (2025)

Countable models of weakly quasi-o-minimal theories II
von: Moconja, Slavko, et al.
Veröffentlicht: (2026)

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

Paradox on the Countable Axiom of Choice
von: Nezhad, Babak Jabbar
Veröffentlicht: (2024)

Countable spaces, realcompactness, and the pseudointersection number
von: Agostini, Claudio, et al.
Veröffentlicht: (2023)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

Distal expansions of Presburger arithmetic by a sparse predicate
von: Tong, Mervyn
Veröffentlicht: (2024)

Cyclic Implicit Complexity
von: Curzi, Gianluca, et al.
Veröffentlicht: (2021)

Countable models of weakly quasi-o-minimal theories I
von: Moconja, Slavko, et al.
Veröffentlicht: (2024)

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
von: Jakob, Hannes
Veröffentlicht: (2025)

O-minimal open core is not an elementary property
von: Gorman, Alexi Block, et al.
Veröffentlicht: (2026)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Computability of Separation Axioms in Countable Second Countable Spaces
von: DeLapo, Andrew, et al.
Veröffentlicht: (2025)