Pages that link to "Item:Q4508178"
From MaRDI portal
The following pages link to The undecidability of cyclotomic towers (Q4508178):
Displaying 7 items.
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers (Q1659540) (← 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)
- Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ (Q5119226) (← links)
- Definability and decidability for rings of integers in totally imaginary fields (Q6148055) (← links)
- Defining \(\mathbb{Z}\) using unit groups (Q6595585) (← links)
