Defining Integers

DOI10.2178/bsl/1305810912zbMath1278.11105arXiv1008.0809MaRDI QIDQ3011104

Alexandra Shlapentokh

Publication date: 28 June 2011

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1008.0809

zbMATH Keywords

function fields; number fields; field of rational numbers; Barry Mazur's Conjecture; decidability of the first order theory; definability of the integers in rings; fields of meromorphic functions over complex or \(p\)-adic numbers; Hilbert Tenth Problem; Koenigsmann's Construction; Poonen-Cornelissen Construction; Poonen's Construction

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

Related Items

Julia Robinson numbers, An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms, THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS, UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS

Cites Work

• Unnamed Item
• Unnamed Item
• Division-ample sets and the Diophantine problem for rings of integers
• 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
• Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
• Defining integrality at prime sets of high density in number fields.
• Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
• Characterizing integers among rational numbers with a universal-existential formula
• Questions of decidability and undecidability in Number Theory
• Hilbert's Tenth Problem is Unsolvable
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• Definability and decision problems in arithmetic