The additive groups of \mathbb{Z} and \mathbb{Q} with predicates for being square-free

DOI10.1017/JSL.2020.30MaRDI QIDQ6288516arXivFDO

Publication date 1 July 2017

Decidability of theories and sets of sentences (03B25) Model theory of ordered structures; o-minimality (03C64) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: We consider the four structures

(m a t h b b Z; m a t h r m {S q f}^{m} a t h b b Z)

,

(m a t h b b Z; <, m a t h r m {S q f}^{m} a t h b b Z)

,

(m a t h b b Q; m a t h r m {S q f}^{m} a t h b b Q)

, and

(m a t h b b Q; <, m a t h r m {S q f}^{m} a t h b b Q)

where

m a t h b b Z

is the additive group of integers,

m a t h r m {S q f}^{m} a t h b b Z

is the set of

a i n m a t h b b Z

such that

v_{p} (a) < 2

for every prime

p

and corresponding

p

-adic valuation

v_{p}

,

m a t h b b Q

and

m a t h r m {S q f}^{m} a t h b b Q

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.

This page was built for publication: The additive groups of $\mathbb{Z}$ and $\mathbb{Q}$ with predicates for being square-free

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6288516)