Prime Ideal;
Number Field;
Galois Extension;
Algebraic Integer;
Finite Extension;
D O I:
10.1007/BF02803513
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
For some infinite algebraic extensions M of the field of rational numbers we show that the integral closure of Z is first-order definable. As an application we prove that the Pythagorean hull of Q is an undecidable field.
机构:
Ben Gurion Univ Negev, Dept Math, POB 653, IL-84105 Beer Sheva, IsraelBen Gurion Univ Negev, Dept Math, POB 653, IL-84105 Beer Sheva, Israel
Efrat, Ido
Quadrelli, Claudio
论文数: 0引用数: 0
h-index: 0
机构:
Univ Milano Bicocca, Dept Math & Applicat, Via R Cozzi 55,U5, I-20125 Milan, ItalyBen Gurion Univ Negev, Dept Math, POB 653, IL-84105 Beer Sheva, Israel