加载中…
Consider an expansion of an ordered divisible Abelian group of finite burden defining no nonempty subset of which is dense and codense in a definable open subset of with . We further assume that is nonvaluational, that is, for every nonempty definable subsets of with and , . Then, is -locally weakly o-minimal. We also give a complete description of sets definable in a definably complete expansion of ordered group of burden two if it defines an infinite discrete set.

生成讲解博客的中文版本

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