Decidable regularly closed fields of algebraic numbers
From MaRDI portal
Publication:3693589
DOI10.2307/2274235zbMath0574.12023MaRDI QIDQ3693589
Rick L. Smith, L. P. D. van den Dries
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274235
12L05: Decidability and field theory
12F10: Separable extensions, Galois theory
14G05: Rational points
03B25: Decidability of theories and sets of sentences
Cites Work
- An analogue of Čebotarev density theorem for fields of finite corank
- Algebraic extensions of finite corank of Hilbertian fields
- The elementary theory of algebraic fields of finite corank
- Generic approach to the Galois embedding and extension problem
- The elementary theory of finite fields
- On solvable extensions of algebraic number fields