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):
Displaying 14 items.
- Definability of the ring of integers in pro-\(p\) Galois extensions of number fields (Q1580494) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- Definability of the ring of integers in some infinite algebraic extensions of the rationals (Q2910987) (← links)
- 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)
- Definability and decidability for rings of integers in totally imaginary fields (Q6148055) (← links)
- A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF (Q6199176) (← links)
- Defining \(\mathbb{Z}\) using unit groups (Q6595585) (← links)
