Diophantine definability and decidability in extensions of degree 2 of totally real fields
From MaRDI portal
Publication:2370285
DOI10.1016/j.jalgebra.2006.11.007zbMath1172.11048arXivmath/0606368OpenAlexW1525842442MaRDI QIDQ2370285
Publication date: 25 June 2007
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0606368
Decidability (number-theoretic aspects) (11U05) Quadratic extensions (11R11) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Cyclotomic extensions (11R18) Ramification and extension theory (11S15)
Related Items
Rational separability of the integral closure, Defining the integers in large rings of a number field using one universal quantifier, ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, Existential definability and diophantine stability, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory, Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007, Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank, Julia Robinson numbers
Cites Work
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
- Division-ample sets and the Diophantine problem for rings of integers
- Quelques applications du théorème de densité de Chebotarev
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
- Diophantine classes of holomorphy rings of global fields
- Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
- On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
- Extension of Hilbert's tenth problem to some algebraic number fields
- Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
- Diophantine relationships between algebraic number fields
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
- Diophantine Sets Over Algebraic Integer Rings. II
- Hilbert's Tenth Problem for Quadratic Rings
- Diophantine Sets over Some Rings of Algebraic Integers
- 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}$
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ
- Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item