This is a preview. Log in through your library . Abstract We show here that the first order theory of the positive integers equipped with multiplication remains decidable when one adds to the language ...