Abstract

We study constant expansions of quite o-minimal theories. We prove that any non-essential expansion (expansion by finitely many new constants) of a quite o-minimal Ehrenfeucht theory of finite convexity rank preserves Ehrenfeuchtness. We also establish that the countable spectrum of such an expanded theory is not decreased.

中文翻译：

---

相当最小理论的非本质扩展

 抽象的

我们研究极小理论的不断扩展。我们证明，有限凸性秩的极小 Ehrenfeucht 理论的任何非本质扩展（通过有限多个新常数扩展）都保留了 Ehrenfeuchtness。我们还确定这种扩展理论的可数谱并没有减少。