Multiplicative structure in stable expansions of the group of integers

Abstract: We define two families of expansions of

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

by unary predicates, and prove that their theories are superstable of

U

-rank

o m e g a

. The first family consists of expansions

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

, where

A

is an infinite subset of a finitely generated multiplicative submonoid of

m a t h b b N

. Using this result, we also prove stability for the expansion of

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

by all unary predicates of the form

q^{n} : n i n m a t h b b N

for some

q i n m a t h b b N_{g e q 2}

. The second family consists of sets

A s u b s e t e q m a t h b b N

which grow asymptotically close to a

m a t h b b Q

-linearly independent increasing sequence

(l a m b d a_{n})_{n = 0}^{i} n f t y s u b s e t e q m a t h b b R^{+}

such that

f r a c l a m b d a_{n} l a m b d a_{m} : m l e q n

is closed and discrete.

This page was built for publication: Multiplicative structure in stable expansions of the group of integers