Pages that link to "Item:Q1659540"
From MaRDI portal
The following pages link to First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540):
Displayed 7 items.
- Definability of the natural numbers in totally real towers of nested square roots (Q2944799) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- On the Northcott property and local degrees (Q4985376) (← links)
- Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ (Q5119226) (← links)
- Undecidability of ℚ⁽²⁾ (Q5212403) (← links)
- Existential definability and diophantine stability (Q6048600) (← links)
- Northcott numbers for the house and the Weil height (Q6048885) (← links)