RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2023 Volume 20, Issue 2, Pages 1037–1051 (Mi semr1627)

Mathematical logic, algebra and number theory

Constant expansion of theories and the number of countable models

B. S. Baizhanovab, O. A. Umbetbayevca

a Institute of Mathematics and Mathematical Modeling, 28 Shevchenko Street, 050010, Almaty, Kazakhstan
b SDU University, 1/1 Abylai khan Street, 040900, Kaskelen, Kazakhstan
c Kazakh-British Technical University, 59 Tole bi Street, 050000, Almaty, Kazakhstan

Abstract: The present paper is dedicated to the method of constant expansion of a complete theory for studying its number of countable models. This paper aims to rehabilitate the method of constant expansion by demonstrating its continued relevance and its potential for use in counting the number of countable models. The main result reveals that the question of reducing the number of countable models from the continuum to a countable number by a constant expansion of a theory remains unanswered, contrary to previous beliefs.

Keywords: small theory, the number of countable models, expansion by constants, non-orthogonality of types, ordered structures.

UDC: 510.67

MSC: 03C15,03C64

Received July 17, 2023, published November 12, 2023

Language: English

DOI: doi.org/10.33048/semi.2023.20.064



© Steklov Math. Inst. of RAS, 2025