Characterizing integers among rational numbers with a universal-existential formula

DOI10.1353/AJM.0.0057MaRDI QIDQ3638117zbMATH OpenOpenAlexFDO

Authors Bjorn Poonen

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, http://muse.jhu.edu/journals/american_journal_of_mathematics/toc/ajm.131.3.html

zbMATH Keywords

binary quadratic formHilbert's Tenth Problemquaternion algebraUndecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Diophantine equations (11D99) General binary quadratic forms (11E16) Quaternion and other division algebras: arithmetic, zeta functions (11R52) Decidability (number-theoretic aspects) (11U05)

Abstract: We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that is surjective on rational points. We also give a formula, again with universal quantifiers followed by existential quantifiers, that in any number field defines the ring of integers.

Recommendations

• Defining Z in Q
• A universal first-order formula defining the ring of integers in a number field
• Defining the integers in large rings of a number field using one universal quantifier
• Defining integers
• Definability in number fields

Cited in

(24)

• 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 Z in large subrings of number fields
• scientific article; zbMATH DE number 6686864 (Why is no real title available?)
• Defining integers
• Baire category theory and Hilbert's tenth problem inside \(\mathbb {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 \(\mathbb R\) and \(\mathbb C\)
• 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 Z in Q
• \mathbb Q\setminus \mathbb Z is diophantine over \mathbb Q with 32 unknowns
• 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
• A survey of local-global methods for Hilbert's tenth problem
• Effectivity for existence of rational points is undecidable
• The complexity of tensor rank
• Universally defining subrings in function fields
• Defining the integers in large rings of a number field using one universal quantifier
• A quantitative primitive divisor result for points on elliptic curves

This page was built for publication: Characterizing integers among rational numbers with a universal-existential formula

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638117)