Multiplicative structure in stable expansions of the group of integers
Logic
2020-05-22 v3
Abstract
We define two families of expansions of by unary predicates, and prove that their theories are superstable of -rank . The first family consists of expansions , where is an infinite subset of a finitely generated multiplicative submonoid of . Using this result, we also prove stability for the expansion of by all unary predicates of the form for some . The second family consists of sets which grow asymptotically close to a -linearly independent increasing sequence such that is closed and discrete.
Keywords
Cite
@article{arxiv.1704.00105,
title = {Multiplicative structure in stable expansions of the group of integers},
author = {Gabriel Conant},
journal= {arXiv preprint arXiv:1704.00105},
year = {2020}
}
Comments
20 pages; final version incorporating referee comments