Characterizing integers among rational numbers with a universal-existential formula
From MaRDI portal
Publication:3638117
DOI10.1353/ajm.0.0057zbMath1179.11047arXivmath/0703907OpenAlexW3103102948MaRDI 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
Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Quaternion and other division algebras: arithmetic, zeta functions (11R52) General binary quadratic forms (11E16) Diophantine equations (11D99)
Related Items (18)
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers ⋮ ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS ⋮ Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q ⋮ HTP-COMPLETE RINGS OF RATIONAL NUMBERS ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ 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 ⋮ Two conjectures on the arithmetic in ℝ and ℂ ⋮ Irreducibility of polynomials over global fields is diophantine ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Defining Integers ⋮ A quantitative primitive divisor result for points on elliptic curves ⋮ The complexity of tensor rank ⋮ Defining \(\mathbb Z\) in \(\mathbb Q\) ⋮ Universally defining finitely generated subrings of global fields ⋮ Diophantine definability of nonnorms of cyclic extensions of global fields ⋮ Definability and decidability in infinite algebraic extensions
This page was built for publication: Characterizing integers among rational numbers with a universal-existential formula
