The following pages link to DECIDABLE ALGEBRAIC FIELDS (Q4977216):
Displaying 3 items.
- Nondefinability of rings of integers in most algebraic fields (Q2075278) (← links)
- Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Q3305316) (← links)
- PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ (Q5858949) (← links)
