加载中…
Let be an expansion of the real field such that every subset of definable in either has interior or is a finite union of discrete sets. Answering a question by Chris Miller, we show that for every and every definable subset there is such that for all either has interior or is the union of discrete sets.

生成讲解博客的中文版本

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