The additive groups of Z and Q with predicates for being square-free
We consider the four structures (Z;SqfZ), (Z;<,SqfZ), (Q;SqfQ), and (Q;<,SqfQ) where Z is the additive group of integers, SqfZ is the set of a∈Z such that vp(a)<2 for every prime p and corresponding p-adic valuation vp, Q and SqfQ are defined likewise for rational numbers, and < denotes the natural ordering on each of these domains. We prove that the second structure is model-theoretically wild while the other three structures are model-theoretically tame. Moreover, all these results can be seen as examples where number-theoretic randomness yields model-theoretic consequences.