A new dp-minimal expansion of the integers

Abstract: We consider the structure

(m a t h b b Z, +, 0, |_{p_{1}}, d o t s, |_{p_{n}})

, where

x |_{p} y

means

v_{p} (x) l e q v_{p} (y)

and

v_{p}

is the

p

-adic valuation. We prove that its theory has quantifier elimination in the language

+, -, 0, 1, (D_{m})_{m g e q 1}, |_{p_{1}}, d o t s, |_{p_{n}}

where

D_{m} (x) l e f t r i g h t a r r o w e x i s t s y m y = x

, and that it has dp-rank

n

. In addition, we prove that a first order structure with universe

m a t h b b Z

which is an expansion of

(m a t h b b Z, +, 0)

and a reduct of

(m a t h b b Z, +, 0, |_{p})

must be interdefinable with one of them. We also give an alternative proof for Conant's analogous result about

(m a t h b b Z, +, 0, <)

.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: A new dp-minimal expansion of the integers