Pages that link to "Item:Q1580494"
From MaRDI portal
The following pages link to Definability of the ring of integers in pro-\(p\) Galois extensions of number fields (Q1580494):
Displaying 17 items.
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← links)
- The elementary theory of \(e\)-free PAC domains (Q1977485) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- A universal first-order formula defining the ring of integers in a number field (Q2510101) (← links)
- A note on the Northcott property and undecidability (Q2788653) (← 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)
- Elimination theory for the ring of algebraic integers. (Q3808206) (← links)
- Algebraic dimension over Frobenius fields (Q4276472) (← 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)
- 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)