Non-Essential Expansions of Quite o-Minimal Theories
摘要
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.