加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本