Pages that link to "Item:Q5711478"
From MaRDI portal
The following pages link to Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields (Q5711478):
Displaying 15 items.
- Positive existential definability of multiplication from addition and the range of a polynomial (Q503237) (← links)
- Defining the integers in large rings of a number field using one universal quantifier (Q843611) (← links)
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank (Q1005933) (← links)
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0 (Q1041275) (← links)
- Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator (Q1365349) (← links)
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- Diophantine definability and decidability in extensions of degree 2 of totally real fields (Q2370285) (← links)
- On existential definitions of c.e. subsets of rings of functions of characteristic 0 (Q2668003) (← 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)
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers (Q3508028) (← links)
- Descent on elliptic curves and Hilbert’s tenth problem (Q3629416) (← links)
- NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES (Q5070471) (← links)
- Julia Robinson numbers (Q5232171) (← links)
- As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields (Q5369029) (← links)
