Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Algebras of Distributions of Binary Isolating Formulas for Almost ω-Categorical Weakly o-Minimal Theories. / Altayeva, A. B.; Kulpeshov, B. Sh; Sudoplatov, S. V.
в: Algebra and Logic, Том 60, № 4, 1, 09.2021, стр. 241-262.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Algebras of Distributions of Binary Isolating Formulas for Almost ω-Categorical Weakly o-Minimal Theories
AU - Altayeva, A. B.
AU - Kulpeshov, B. Sh
AU - Sudoplatov, S. V.
N1 - Funding Information: (A. B. Altayeva, B. Sh. Kulpeshov and S. V. Sudoplatov) Supported by KN MON RK (grant No. AP08855544) and by SB RAS Fundamental Research Program I.1.1 (project No. 0314-2019-0002). Publisher Copyright: © 2021, Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2021/9
Y1 - 2021/9
N2 - We describe distribution algebras of binary isolating formulas over 1-type for almost ω-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 ω-categorical weakly o-minimal theories.
AB - We describe distribution algebras of binary isolating formulas over 1-type for almost ω-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 ω-categorical weakly o-minimal theories.
KW - algebra of distributions of binary isolating formulas
KW - ω-categorical weakly o-minimal theory
UR - http://www.scopus.com/inward/record.url?scp=85120451861&partnerID=8YFLogxK
UR - https://www.mendeley.com/catalogue/67922908-9fa3-3798-8d40-5f1a28f390cb/
U2 - 10.1007/s10469-021-09650-y
DO - 10.1007/s10469-021-09650-y
M3 - Article
AN - SCOPUS:85120451861
VL - 60
SP - 241
EP - 262
JO - Algebra and Logic
JF - Algebra and Logic
SN - 0002-5232
IS - 4
M1 - 1
ER -
ID: 34908880