Algebras of distributions of binary isolating formulas for quite o-minimal theories | Sciact - Система учета научной деятельности ИМ СО РАН

Algebras of distributions of binary isolating formulas for quite o-minimal theories Научная публикация

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2019, Том: 57, Номер: 6, Страницы: 662-683 Страниц : 22 DOI: 10.1007/s10469-019-09515-5

Ключевые слова

algebras of distributions of binary isolating formulas; convexity rank; countable model; generalized commutative monoid; quite o-minimal theory

Авторы

Emel’yanov D.Yu. , Kulpeshov B.Sh. , Sudoplatov S.V.

Организации

1	Novosibirsk State Technical University
2	Institute of Mathematics and Mathematical Modeling, Ministry of Education and Science RK
3	International Information Technologies University
4	Kazkh-British Technical University
5	Sobolev Institute of Mathematics
6	Novosibirsk State University

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.

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

Емельянов Д.Ю. , Кулпешов Б.Ш. , Судоплатов С.В.
Алгебры распределений бинарных изолирующих формул для вполне о-минимальных теорий
Алгебра и логика. 2018. Т.57. №6. С.662-683. DOI: 10.33048/alglog.2018.57.603 РИНЦ OpenAlex

Поступила в редакцию:	5 апр. 2017 г.
Опубликована в печати:	25 мар. 2019 г.
Опубликована online:	25 мар. 2019 г.

Web of science:	WOS:000463584500003
Scopus:	2-s2.0-85063813692
РИНЦ:	38724870
OpenAlex:	W2935553843

БД	Цитирований
Web of science	13
Scopus	15
РИНЦ	15
OpenAlex	13