On dp-minimal expansions of the integers II
Logic
2024-02-20 v1
Abstract
We first prove that if is a dp-minimal expansion of which is not interdefinable with , then every infinite subset of definable in is generic in . Using this, we prove that if is a dp-minimal expansion of with monster model such that , then for some , the cyclic order on induced by the embedding of in is definable in . The proof employs the Gleason-Yamabe theorem for abelian groups.
Keywords
Cite
@article{arxiv.2402.11146,
title = {On dp-minimal expansions of the integers II},
author = {Eran Alouf},
journal= {arXiv preprint arXiv:2402.11146},
year = {2024}
}