Algebras of Distributions of Binary Isolating Formulas for Almost ω-Categorical Weakly o-Minimal Theories

Standard

Algebras of Distributions of Binary Isolating Formulas for Almost ω-Categorical Weakly o-Minimal Theories. / Altayeva, A. B.; Kulpeshov, B. Sh; Sudoplatov, S. V.

In: Algebra and Logic, Vol. 60, No. 4, 1, 09.2021, p. 241-262.

Research output: Contribution to journal › Article › peer-review

BibTeX

@article{d288ad93eb9a4869a2bf67ac0746b275,

title = "Algebras of Distributions of Binary Isolating Formulas for Almost ω-Categorical Weakly o-Minimal Theories",

abstract = "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.",

keywords = "algebra of distributions of binary isolating formulas, ω-categorical weakly o-minimal theory",

author = "Altayeva, {A. B.} and Kulpeshov, {B. Sh} and Sudoplatov, {S. V.}",

note = "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: {\textcopyright} 2021, Springer Science+Business Media, LLC, part of Springer Nature.",

year = "2021",

month = sep,

doi = "10.1007/s10469-021-09650-y",

language = "English",

volume = "60",

pages = "241--262",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "4",

}

RIS

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