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

生成讲解博客的中文版本

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