The following pages link to DECIDABLE ALGEBRAIC FIELDS (Q4977216):
Displaying 7 items.
- The elementary theory of normal Frobenius fields (Q790884) (← links)
- Undecidability of some elementary theories over PAC fields (Q1074575) (← links)
- Nondefinability of rings of integers in most algebraic fields (Q2075278) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← 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)
- Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of \(\mathbb{Q}\) (Q6584671) (← links)
