加载中…
We show there are intermediate -minimal structures between the semi-algebraic and sub-analytic languages which do not have definable Skolem functions. As a consequence, by a result of Mourgues, this shows there are -minimal structures which do not admit classical cell decomposition.

生成讲解博客的中文版本

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