加载中…
Let be an o-minimal expansion of an ordered group, and a dense set such that certain tameness conditions hold. We introduce the notion of a `product cone’ in , and prove: if expands a real closed field, then admits a product cone decomposition. If is linear, then it does not. In particular, we settle a question from [10].

生成讲解博客的中文版本

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