S. S. Baizhanov, B. Sh. Kulpeshov, “On expansions of models of weakly o-minimal theories by binary predicates”, Sib. Èlektron. Mat. Izv., 2019, Volume 16,Pages <nobr>673

Mathematical logic, algebra and number theory

On expansions of models of weakly o-minimal theories by binary predicates

S. S. Baizhanov^ab, B. Sh. Kulpeshov^cd

^a Institute of Mathematics and Mathematical Modeling, 125, Pushkin str., Almaty, 050010, Kazakhstan
^b Al-Farabi Kazakh National University, 71, Al-Farabi av., Almaty, 050040, Kazakhstan
^c International Information Technology University, 34/1, Manas str., Almaty, 050040, Kazakhstan
^d Kazakh-British Technical University, 59, Tole bi str., Almaty, 050000, Kazakhstan

Abstract: Here questions of preservation of properties at expanding countably categorical weakly o-minimal structures non-being 1-indiscernible by an arbitrary binary predicate are studied. A criterion for preserving the countable categoricity of a weakly o-minimal expansion of convexity rank 1 is obtained.

Keywords: weak o-minimality, countable categoricity, expansion of models, equivalence-generating formula.

UDC: 510.67

MSC: 03C64

Received January 15, 2019, published May 20, 2019

DOI: 10.33048/semi.2019.16.043