On Diophantine definability and decidability in some infinite totally real extensions of ℚ
From MaRDI portal
Publication:4813802
DOI10.1090/S0002-9947-03-03343-9zbMATH Open1052.11082MaRDI QIDQ4813802FDOQ4813802
Authors: Alexandra Shlapentokh 
Publication date: 13 August 2004
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Recommendations
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
- Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
- Diophantine definability and decidability in extensions of degree 2 of totally real fields
- On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
Basic properties of first-order languages and structures (03C07) Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09)
Cites Work
- The Undecidability of Algebraic Rings and Fields
- Title not available (Why is that?)
- On Rumely's local-global principle
- Arithmetic over the rings of all algebraic integers.
- Title not available (Why is that?)
- Definability and decision problems in arithmetic
- Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
- 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}$
- Title not available (Why is that?)
- Introduction to quadratic forms
- Topology of diophantine sets: remarks on Mazur's conjectures
- Title not available (Why is that?)
- 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
- Defining integrality at prime sets of high density in number fields.
- Extension of Hilbert's tenth problem to some algebraic number fields
- Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
- Diophantine Sets Over Algebraic Integer Rings. II
- Hilbert's Tenth Problem for Quadratic Rings
- Diophantine Sets over Some Rings of Algebraic Integers
- Title not available (Why is that?)
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
- Title not available (Why is that?)
- Hilbert's Tenth Problem over number fields, a survey
- Diophantine relationships between algebraic number fields
- An effort to prove that the existential theory of \(\mathbb Q\) is undecidable
Cited In (17)
- Definability of the natural numbers in totally real towers of nested square roots
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0
- La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
- Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of \(\mathbb{Q}\)
- Definability of the ring of integers in some infinite algebraic extensions of the rationals
- Defining \(\mathbb{Z}\) using unit groups
- Existential definability and diophantine stability
- Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
- Complex continuations of ℝan,exp-definable unary functions with a diophantine application
- Diophantine definability and decidability in extensions of degree 2 of totally real fields
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
- Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points
- Nondefinability of rings of integers in most algebraic fields
- Elliptic curve points and Diophantine models of \(\mathbb Z\) in large subrings of number fields
- Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
This page was built for publication: On Diophantine definability and decidability in some infinite totally real extensions of ℚ
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813802)
