Cover Image

Measuring the Complexity of Countable Presburger Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Block, Jason
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
by: Block, Jason
Published: (2024)

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
by: Bell, Jason, et al.
Published: (2025)

Presburger Functional Synthesis: Complexity and Tractable Normal Forms
by: Akshay, S., et al.
Published: (2025)

Speedups for Presburger Arithmetic and Real Closed Fields
by: Pakhomov, Fedor, et al.
Published: (2026)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

The complexity of Presburger arithmetic with power or powers
by: Benedikt, Michael, et al.
Published: (2023)

On the Decidability of Presburger Arithmetic Expanded with Powers
by: Karimov, Toghrul, et al.
Published: (2024)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Decidability of extensions of Presburger arithmetic by generalised polynomials
by: Konieczny, Jakub
Published: (2024)

On Presburger arithmetic extended with non-unary counting quantifiers
by: Habermehl, Peter, et al.
Published: (2022)

On two-variable guarded fragment logic with expressive local Presburger constraints
by: Lu, Chia-Hsuan, et al.
Published: (2022)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

One-Parametric Presburger Arithmetic has Quantifier Elimination
by: Mansutti, Alessio, et al.
Published: (2025)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
by: Schmerl, James
Published: (2026)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)

No Countable Basis for Borel Directed Graphs of Dichromatic Number at Least Three
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

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

Countably compact extensions and cardinal characteristics of the continuum
by: Bardyla, Serhii, et al.
Published: (2024)

Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof
by: Choffrut, Christian
Published: (2024)

Separable C*-algebras Without the Countable Axiom of Choice
by: Blackadar, Bruce, et al.
Published: (2026)

Terminal Coalgebras in Countably Many Steps
by: Adámek, Jiří, et al.
Published: (2023)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
by: Gilson, Frank
Published: (2026)

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions
by: Gilson, Frank
Published: (2025)

Countable real analysis
by: Klazar, Martin
Published: (2023)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

Countable models of weakly quasi-o-minimal theories II
by: Moconja, Slavko, et al.
Published: (2026)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Paradox on the Countable Axiom of Choice
by: Nezhad, Babak Jabbar
Published: (2024)

Countable spaces, realcompactness, and the pseudointersection number
by: Agostini, Claudio, et al.
Published: (2023)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)

Distal expansions of Presburger arithmetic by a sparse predicate
by: Tong, Mervyn
Published: (2024)

Cyclic Implicit Complexity
by: Curzi, Gianluca, et al.
Published: (2021)

Countable models of weakly quasi-o-minimal theories I
by: Moconja, Slavko, et al.
Published: (2024)

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
by: Jakob, Hannes
Published: (2025)

O-minimal open core is not an elementary property
by: Gorman, Alexi Block, et al.
Published: (2026)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Computability of Separation Axioms in Countable Second Countable Spaces
by: DeLapo, Andrew, et al.
Published: (2025)