The following pages link to On the constructible numbers (Q4226297):
Displaying 5 items.
- Havliček-Tietze configurations in various projective planes (Q488839) (← links)
- Definability of the ring of integers in pro-\(p\) Galois extensions of number fields (Q1580494) (← links)
- 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)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)