加载中…
There exists a d-minimal expansion of the -vector space over which defines every sequence. In this paper, we prove this assertion and the following more general assertion: Let be either the ordered -vector space structure over or the ordered group of reals. A first-order expansion of by a countable subset of and a compact subset of of finite Cantor-Bendixson rank is d-minimal if is locally o-minimal.

生成讲解博客的中文版本

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