Defining Z using unit groups
In this astonishing work, the authors solve a very old problem of A. Tarski: the first-order theory of the field of constructible numbers is undecidable, meaning that there is no algorithm to determine whether an arbitrary arithmetic statement made about this field is true or false. Constructible numbers are those that correspond to the length of a segment that can be drawn from a unit segment using only compass and straightedge, or equivalently they are those numbers that can be built from rational numbers using only the four basic operations and the extraction of square roots of positive numbers.\N\NCorollaries of their work also include the undecidability of, for instance, the union of a tower made of extensions of degree at most some \(d>1\), or the compositum of all the extensions of a number field that have degree at most some \(d>1\).\N\NAll these results are immediate consequences of their main theorem: There is a first-order definition of the integers in any non-big field of algebraic numbers (a field is \textit{non-big} if there is a positive integer \(n\) for which it does not contain any subfield of degree \(n\) over the field of rational numbers). Moreover, their first-order definition is uniform among all non-big fields -- indeed, uniformity seems to have been the initial motivation to this work. Their astute definition is based on some basic properties of units, following a path started by Julia Robinson in the sixties.
- Defining Z in Q
- Nondefinability of rings of integers in most algebraic fields
- Definability of the ring of integers in some infinite algebraic extensions of the rationals
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
- Definability of the ring of integers in pro-p Galois extensions of number fields
- A note on the Northcott property and undecidability
- An Unsolvable Problem of Elementary Number Theory
- Arithmetic over the rings of all algebraic integers.
- Big fields that are not large
- Corrigendum to: ``Existential definability and Diophantine stability
- Definability and decidability for rings of integers in totally imaginary fields
- Definability and decision problems in arithmetic
- Definability of the natural numbers in totally real towers of nested square roots
- Definability of the ring of integers in pro-p Galois extensions of number fields
- Diophantine definability and decidability in extensions of degree 2 of totally real fields
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
- Diophantine relationships between algebraic number fields
- Diophantine Sets Over Algebraic Integer Rings. II
- Diophantine Sets over Some Rings of Algebraic Integers
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
- Division-ample sets and the Diophantine problem for rings of integers
- Elimination theory for the ring of algebraic integers.
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
- Elliptic curves, \(L\)-functions, and Hilbert's tenth problem
- Extension of Hilbert's tenth problem to some algebraic number fields
- Extensions of some theorems of Gödel and Church.
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
- Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
- Hilbert's Tenth Problem for Quadratic Rings
- Hilbert's Tenth Problem is Unsolvable
- scientific article; zbMATH DE number 705075 (Why is no real title available?)
- scientific article; zbMATH DE number 1157649 (Why is no real title available?)
- scientific article; zbMATH DE number 3190335 (Why is no real title available?)
- Julia Robinson numbers
- Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ
- On the constructible numbers
- On the Northcott property and local degrees
- Ranks of twists of elliptic curves and Hilbert's tenth problem
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
- Superficies elípticas y el décimo problema de Hilbert
- The undecidability of cyclotomic towers
- Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points
- Undecidability in number theory
- Undecidability of ℚ⁽²⁾
- Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
- Unit equations in Diophantine number theory
- Unsolvable Diophantine Problems
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.
This page was built for publication: Defining \(\mathbb{Z}\) using unit groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6595585)
