Smart Search
Cari koleksi dengan cepat sesuai kebutuhan Anda.We uncover a natural relationship between the Northcott property for sets of algebraic numbers and the Julia Robinson number associated to sets of algebraic integers. This implies, in particular, that any subring of a ring of totally real integers having the Northcott property has undecidable first-order theory. Combining this theorem with previous results by the second author, we prove that th…