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.
机构:
Dept. of Math. and Computer Science, Ben Gurion University of the Negev, Be'er-Sheva 84105Dept. of Math. and Computer Science, Ben Gurion University of the Negev, Be'er-Sheva 84105