Algebras of distributions of binary isolating formulas for quite o-minimal theories Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Output data | Year: 2019, Volume: 57, Number: 6, Pages: 662-683 Pages count : 22 DOI: 10.1007/s10469-019-09515-5 | ||||||||||||
| Tags | algebras of distributions of binary isolating formulas; convexity rank; countable model; generalized commutative monoid; quite o-minimal theory | ||||||||||||
| Authors |
|
||||||||||||
| Affiliations |
|
Abstract:
Algebras of distributions of binary isolating formulas over a type for quite o-minimal theories with nonmaximal number of countable models are described. It is proved that an isomorphism of these algebras for two 1-types is characterized by the coincidence of convexity ranks and also by simultaneous satisfaction of isolation, quasirationality, or irrationality of those types. It is shown that for quite o-minimal theories with nonmaximum many countable models, every algebra of distributions of binary isolating formulas over a pair of nonweakly orthogonal types is a generalized commutative monoid.
Cite:
Emel’yanov D.Y.
, Kulpeshov B.S.
, Sudoplatov S.V.
Algebras of distributions of binary isolating formulas for quite o-minimal theories
Algebra and Logic. 2019. V.57. N6. P.662-683. DOI: 10.1007/s10469-019-09515-5 WOS Scopus РИНЦ OpenAlex
Algebras of distributions of binary isolating formulas for quite o-minimal theories
Algebra and Logic. 2019. V.57. N6. P.662-683. DOI: 10.1007/s10469-019-09515-5 WOS Scopus РИНЦ OpenAlex
Original:
Емельянов Д.Ю.
, Кулпешов Б.Ш.
, Судоплатов С.В.
Алгебры распределений бинарных изолирующих формул для вполне о-минимальных теорий
Алгебра и логика. 2018. Т.57. №6. С.662-683. DOI: 10.33048/alglog.2018.57.603 РИНЦ OpenAlex
Алгебры распределений бинарных изолирующих формул для вполне о-минимальных теорий
Алгебра и логика. 2018. Т.57. №6. С.662-683. DOI: 10.33048/alglog.2018.57.603 РИНЦ OpenAlex
Dates:
| Submitted: | Apr 5, 2017 |
| Published print: | Mar 25, 2019 |
| Published online: | Mar 25, 2019 |
Identifiers:
| Web of science: | WOS:000463584500003 |
| Scopus: | 2-s2.0-85063813692 |
| Elibrary: | 38724870 |
| OpenAlex: | W2935553843 |