Cover Image

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bell, Jason, Gorman, Alexi Block, Schulz, Chris
Format:	Preprint
Published:	2025
Subjects:	Logic Formal Languages and Automata Theory 03C64, 03D05, 28A80
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Sparse regular subsets of the reals
by: Bell, Jason, et al.
Published: (2023)

Finite-Horizon First-Order Rank Profiles of Regular Languages
by: Bazarova, Madina, et al.
Published: (2026)

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

Stratifiable formulae are not context-free
by: Ryan-Smith, Calliope
Published: (2023)

NL Is Strictly Contained in P
by: Flum, Santiago, et al.
Published: (2023)

Externally definable fsg groups in NIP theories
by: Chernikov, Artem
Published: (2025)

Extending orders to types
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)

Languages given by Finite Automata over the Unary Alphabet
by: Czerwiński, Wojciech, et al.
Published: (2023)

Run supports and initial algebra supports of weighted automata
by: Droste, Manfred, et al.
Published: (2024)

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
by: Lin, Deren, et al.
Published: (2022)

On the Intersection Problem for Quantum Finite Automata
by: Benso, Andrea, et al.
Published: (2024)

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

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

Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)

Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)

Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)

On Tameness, Measurability and the Independence Property
by: Krapp, Lothar Sebastian, et al.
Published: (2025)

Any function I can actually write down is measurable, right?
by: Hanson, James E.
Published: (2025)

Isomorphism Spectra and Computably Composite Structures
by: Lakerdas-Gayle, Joey
Published: (2025)

Lindenmayer graph languages, first-order theories and expanders
by: Knapik, Teodor
Published: (2024)

Measurability in the Fundamental Theorem of Statistical Learning
by: Krapp, Lothar Sebastian, et al.
Published: (2024)

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

Sequential densities of rational languages
by: Gorman, Alexi Block, et al.
Published: (2026)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

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

An automata-based test for bricks over string algebras
by: Kuber, Amit, et al.
Published: (2026)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)

Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
by: Chernikov, Artem, et al.
Published: (2024)

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

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence
by: Fujita, Masato
Published: (2024)

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

The generating power of weighted tree automata with initial algebra semantics
by: Droste, Manfred, et al.
Published: (2024)

On Some Complexity Results for Even Linear Languages
by: Cojocaru, Liliana
Published: (2024)

Quite Complete Real Closed fields
by: Shelah, Saharon
Published: (2001)

Orthogonality and domination in o-minimal expansions of ordered groups
by: Guerrero, Pablo Andújar, et al.
Published: (2025)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Nondefinability results for elliptic and modular functions
by: McCulloch, Raymond
Published: (2023)

A Dichotomy Theorem for Automatic Structures
by: Cuvelier, Antoine, et al.
Published: (2026)