Pages that link to "Item:Q2370285"
From MaRDI portal
The following pages link to Diophantine definability and decidability in extensions of degree 2 of totally real fields (Q2370285):
Displaying 14 items.
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 (Q701108) (← links)
- Rational separability of the integral closure (Q838436) (← links)
- Defining the integers in large rings of a number field using one universal quantifier (Q843611) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank (Q1005933) (← links)
- Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator (Q1365349) (← links)
- 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) (Q1408109) (← links)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- Elliptic curve points and Diophantine models of \(\mathbb Z\) in large subrings of number fields (Q2907085) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- Julia Robinson numbers (Q5232171) (← links)
- Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields (Q5711478) (← links)
- Existential definability and diophantine stability (Q6048600) (← links)
- Defining \(\mathbb{Z}\) using unit groups (Q6595585) (← links)
