RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2021 Volume 60, Number 4, Pages 369–399 (Mi al2673)

This article is cited in 5 papers

Algebras of distributions of binary isolating formulas for almost $\omega$-categorical weakly $o$-minimal theories

A. B. Altaevaab, B. Sh. Kulpeshovac, S. V. Sudoplatovdef

a Institute of Mathematics and Mathematical Modeling, Ministry of Education and Science, Republic of Kazakhstan, Almaty
b Al-Farabi Kazakh National University
c Kazakh-British Technical University
d Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
e Novosibirsk State Technical University
f Novosibirsk State University

Abstract: We describe distribution algebras of binary isolating formulas over $1$-type for almost $\omega$-categorical weakly $o$-minimal theories. It is proved that an isomorphism of these algebras for two $1$-types is characterized by the coincidence of binary convexity ranks, as well as by the simultaneous fulfillment of isolation, quasirationality or irrationality of the two types. A criterion is established for an algebra of formulas over a pair of not weakly orthogonal $1$-types to be generalized commutative for almost $\omega$-categorical weakly $o$-minimal theories.

Keywords: algebra of distributions of binary isolating formulas, $\omega$-categorical weakly $o$-minimal theory.

UDC: 510.67

Received: 19.11.2020
Revised: 26.11.2021

DOI: 10.33048/alglog.2021.60.401


 English version:
Algebra and Logic, 2021, 60:4, 241–262

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024