Defining the integers in large rings of a number field using one universal quantifier

DOI10.1007/s10958-009-9404-4zbMath1238.11111arXiv0708.3075MaRDI QIDQ843611

Gunther Cornelissen, Alexandra Shlapentokh

Publication date: 15 January 2010

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

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

Mathematics Subject Classification ID

03C40: Interpolation, preservation, definability

11U09: Model theory (number-theoretic aspects)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
• The set of nonsquares in a number field is diophantine
• On maps with dense orbits and the definition of chaos
• 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.
• Diophantine definability and decidability in extensions of degree 2 of totally real fields
• The Undecidability of Algebraic Rings and Fields
• Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• Elliptic divisibility sequences and undecidable problems about rational points
• Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
• Definability and decision problems in arithmetic