Abstract:
We study constant expansions of weakly o-minimal theories of finite convexity rank having less than 2$^\omega$ countable models. We prove that any non-essential expansion (expansion by finitely many new constants) of a weakly 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.
Keywords:weak o-minimality, orthogonality of 1-types, countable model, convexity rank, Ehrenfeucht theory, non-essential expansion of a theory.
UDC:510.67
Presented:A. L. Semenov Received: 26.05.2025 Revised: 16.07.2025 Accepted: 19.08.2025