Algebras of distributions of binary isolating formulas for almost omega-categorical weakly o-minimal theories Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Output data | Year: 2021, Volume: 60, Number: 4, Pages: 241-262 Pages count : 22 DOI: 10.1007/s10469-021-09650-y | ||||||||||||
| Tags | algebra of distributions of binary isolating formulas, ω-categorical weakly o-minimal theory | ||||||||||||
| Authors |
|
||||||||||||
| Affiliations |
|
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 ominimal theories.
Cite:
Алтаева А.Б.
, Кулпешов Б.Ш.
, Sudoplatov S.V.
Algebras of distributions of binary isolating formulas for almost omega-categorical weakly o-minimal theories
Algebra and Logic. 2021. V.60. N4. P.241-262. DOI: 10.1007/s10469-021-09650-y WOS Scopus РИНЦ OpenAlex
Algebras of distributions of binary isolating formulas for almost omega-categorical weakly o-minimal theories
Algebra and Logic. 2021. V.60. N4. P.241-262. DOI: 10.1007/s10469-021-09650-y WOS Scopus РИНЦ OpenAlex
Original:
Алтаева А.Б.
, Кулпешов Б.Ш.
, Судоплатов С.В.
Алгебры распределений бинарных изолирующих формул для почти ω-категоричных слабо о-минимальных теорий
Алгебра и логика. 2021. Т.60. №4. С.369-399. DOI: 10.33048/alglog.2021.60.401 РИНЦ OpenAlex
Алгебры распределений бинарных изолирующих формул для почти ω-категоричных слабо о-минимальных теорий
Алгебра и логика. 2021. Т.60. №4. С.369-399. DOI: 10.33048/alglog.2021.60.401 РИНЦ OpenAlex
Dates:
| Submitted: | Nov 19, 2020 |
| Accepted: | Nov 26, 2021 |
| Published print: | Dec 3, 2021 |
| Published online: | Dec 3, 2021 |
Identifiers:
| Web of science: | WOS:000725412800005 |
| Scopus: | 2-s2.0-85120451861 |
| Elibrary: | 47533412 |
| OpenAlex: | W4200529590 |