Characterizing integers among rational numbers with a universal-existential formula
From MaRDI portal
Publication:3638117
DOI10.1353/ajm.0.0057zbMath1179.11047arXivmath/0703907MaRDI QIDQ3638117
Publication date: 1 July 2009
Published in: American Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0703907
11U05: Decidability (number-theoretic aspects)
03D35: Undecidability and degrees of sets of sentences
03B25: Decidability of theories and sets of sentences
11R52: Quaternion and other division algebras: arithmetic, zeta functions
11E16: General binary quadratic forms
11D99: Diophantine equations
Related Items
Irreducibility of polynomials over global fields is diophantine, HTP-COMPLETE RINGS OF RATIONAL NUMBERS, Diophantine definability of nonnorms of cyclic extensions of global fields, Defining \(\mathbb Z\) in \(\mathbb Q\), RAC-Drawability is ∃ℝ-complete and Related Results, A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF, Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers, The complexity of tensor rank, A quantitative primitive divisor result for points on elliptic curves, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, Universally defining finitely generated subrings of global fields, Definability and decidability in infinite algebraic extensions, ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS, Defining Integers, Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory, Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers, Two conjectures on the arithmetic in ℝ and ℂ