Cover Image

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Gitin, Leo
Format:	Preprint
Published:	2024
Subjects:	Logic Number Theory 03B25, 12L05 (Primary) 11S99, 11U05 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Diophantine Maps
by: Eggink, A.
Published: (2024)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
by: Hormazábal, Natalia, et al.
Published: (2025)

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
by: Shlapentokh, Alexandra, et al.
Published: (2024)

The Galois characterisation of $p$-adically closed fields -- A modern perspective
by: Gitin, Leo, et al.
Published: (2026)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
by: Matiyasevich, Yuri, et al.
Published: (2025)

Existentially defining valuations in function fields over large fields
by: Daans, Nicolas
Published: (2025)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
by: Khani, Mohsen, et al.
Published: (2021)

Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)

Existential rank and essential dimension of diophantine sets
by: Daans, Nicolas, et al.
Published: (2021)

Hilbert's tenth problem for rings of holomorphic functions of bounded order
by: Pasten, Hector
Published: (2024)

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

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

First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields
by: De Rasis, Juan Pablo
Published: (2025)

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers
by: Daans, Nicolas
Published: (2023)

On the existential theory of the completions of a global field
by: Dittmann, Philip, et al.
Published: (2024)

Modular Zilber-Pink for geometrically generic varieties
by: Aslanyan, Vahagn, et al.
Published: (2025)

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

Exponential sums and motivic oscillation index of arbitrary ideals and their applications
by: Nguyen, Kien Huu
Published: (2023)

Considering The Satisfiability of Cubic Diophantine Equations
by: Rosko, Milan
Published: (2025)

Duality of Selmer groups of an abelian variety over a number field
by: Biswas, Saikat
Published: (2025)

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

First-order definability of Darmon points in number fields
by: De Rasis, Juan Pablo, et al.
Published: (2024)

Asymptotics For Local Solubility Of Diagonal Quadrics Over A Split Quadric Surface
by: Wilson, Cameron
Published: (2024)

Universally defining subrings in function fields
by: Daans, Nicolas, et al.
Published: (2024)

On $2$-superirreducible polynomials over finite fields
by: Bober, Jonathan W., et al.
Published: (2023)

A lower bound for the discrepancy in a Sato-Tate type measure
by: Das, Jishu
Published: (2023)

Relatively prime pairs in the Piatetski-Shapiro sequences
by: Suzuki, Yuta
Published: (2024)

Polynomials assuming only local prime powers
by: Koprowski, Przemysław
Published: (2025)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
by: Khani, Mohsen, et al.
Published: (2025)

On a group of normalized solutions of the higher-dimensional Prouhet--Tarry--Escott problem
by: Inagaki, Munenori, et al.
Published: (2025)

Integer-valued o-minimal functions
by: Bhardwaj, Neer, et al.
Published: (2024)

Two identities involving Cohen-Ramanujan expansions
by: Chandran, Arya, et al.
Published: (2025)

Resolving Adenwalla's conjecture related to a question of Erdős and Graham about covering systems
by: Jia, Zhengkun, et al.
Published: (2025)

Some asymptotic formulae involving Cohen-Ramanujan expansions
by: Chandran, Arya, et al.
Published: (2024)

Some asymptotic formulae involving Cohen-Ramanujan expansions
by: Chandran, Arya, et al.
Published: (2023)

A note on trigonometric polynomials for lower bounds of $ζ(s)$
by: Leong, Nicol, et al.
Published: (2024)

Definability and decidability for rings of integers in totally imaginary fields
by: Springer, Caleb
Published: (2022)

A note on Bremner's conjecture and uniformity
by: Garcia-Fritz, Natalia, et al.
Published: (2026)

Patterns on elliptic curves beyond Bremner's conjecture
by: Garcia-Fritz, Natalia, et al.
Published: (2026)