Copertina

Decidability of extensions of Presburger arithmetic by generalised polynomials

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Konieczny, Jakub
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Number Theory Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Multiplicative generalised polynomial sequences
di: Konieczny, Jakub
Pubblicazione: (2024)

Decidability via the tilting correspondence
di: Kartas, Konstantinos
Pubblicazione: (2020)

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

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

Measuring Decidability as Related to Busy Beaver Numbers
di: Tandi, Gurpreet, et al.
Pubblicazione: (2026)

Borel complexity of the set of typical numbers
di: Tomaszewski, Jakub
Pubblicazione: (2022)

Decidability of some complicated structures definable in $\mathbb{C}(t)$
di: Scanlon, Thomas
Pubblicazione: (2025)

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

Complex solutions of polynomial equations on the unit circle
di: Aslanyan, Vahagn
Pubblicazione: (2024)

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

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
di: Schaeffer, Luke, et al.
Pubblicazione: (2024)

On asymptotically automatic sequences
di: Konieczny, Jakub
Pubblicazione: (2023)

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

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

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
di: Nguyen, Dong Quan Ngoc
Pubblicazione: (2024)

Hilbert's tenth problem via additive combinatorics
di: Koymans, Peter, et al.
Pubblicazione: (2024)

A Comparison of Gauge Dimension and Effective Dimension
di: Miao, Yiping
Pubblicazione: (2026)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
di: Kaneko, Hajime, et al.
Pubblicazione: (2025)

Non-Archimedean Analogue of Chase's Lemma
di: Mihara, Tomoki
Pubblicazione: (2026)

Hilbert's tenth problem for finitely generated rings
di: Koymans, Peter, et al.
Pubblicazione: (2026)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
di: Eterović, Sebastian, et al.
Pubblicazione: (2026)

Counting rational points on transcendental curves in valued fields
di: Vermeulen, Floris
Pubblicazione: (2025)

A note on unlikely intersections in Shimura varieties
di: Aslanyan, Vahagn, et al.
Pubblicazione: (2022)

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
di: Mihara, Tomoki
Pubblicazione: (2026)

Positive characteristic Ax-Schanuel
di: Kowalski, Piotr
Pubblicazione: (2023)

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
di: Mihara, Tomoki
Pubblicazione: (2026)

Arithmetical subword complexity of automatic sequences
di: Konieczny, Jakub, et al.
Pubblicazione: (2023)

Bracket words along Hardy field sequences
di: Konieczny, Jakub, et al.
Pubblicazione: (2023)

In Memory of Martin Davis
di: Calvert, Wesley, et al.
Pubblicazione: (2024)

Decidability of polynomial equations over function fields in positive characteristic
di: Daans, Nicolas
Pubblicazione: (2025)

The Existential Closedness and Zilber-Pink Conjectures
di: Aslanyan, Vahagn
Pubblicazione: (2024)

On geometrically $C_1$ fields
di: Kartas, Konstantinos
Pubblicazione: (2024)

Formalising the local compactness of the adele ring
di: Mercuri, Salvatore
Pubblicazione: (2024)

Motivic Mellin transforms
di: Cluckers, Raf, et al.
Pubblicazione: (2024)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
di: Bayer, Jonas, et al.
Pubblicazione: (2025)

Rational points of rigid-analytic sets: a Pila-Wilkie type theorem
di: Binyamini, Gal, et al.
Pubblicazione: (2022)

The Skolem Problem in rings of positive characteristic
di: Dong, Ruiwen, et al.
Pubblicazione: (2025)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
di: Kenison, George
Pubblicazione: (2022)

A Pila--Wilkie theorem for Hensel minimal curves
di: Cantoral-Farfán, Victoria, et al.
Pubblicazione: (2021)