The logic of pseudo-S-integers

Abstract

Let {ni} be a sequence of natural numbers and let {pi} be a listing of rational primes. Then an abelian groupG={x ∈ √| ordpix ≥ −ni} is called a group of pseudo-integers. We investigate the logical properties of such groups of pseudo-integers and the counterparts of such groups in global fields in the case the number of primes allowed to appear in the denominator is infinite. We show that, while the addition problem of any recursive group of pseudo-integers is decidable, the Diophantine problem for some recursive groups of pseudo-integers with infinite number of primes allowed in the denominator, is not decidable. More precisely, there exist recursive groups of pseudo-integers, where infinite number of primes are allowed to appear in the denominator, such that there is no uniform algorithm to decide whether a polynomial equation over ℤ in several variables has solutions in the group. This result is obtained by giving a Diophantine definition of ℤ over these groups. The proof is based on the strong Hasse norm principal.