Алгебры распределений бинарных изолирующих формул для вполне о-минимальных теорий | Sciact - Система учета научной деятельности ИМ СО РАН

Алгебры распределений бинарных изолирующих формул для вполне о-минимальных теорий Научная публикация

Журнал

Алгебра и логика
ISSN: 0373-9252

Вых. Данные

Год: 2018, Том: 57, Номер: 6, Страницы: 662-683 Страниц : 22 DOI: 10.33048/alglog.2018.57.603

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

вполне о-минимальная теория, счетная модель, ранг выпуклости, алгебра распределений бинарных изолирующих формул, обобщенно коммутативный моноид.

Авторы

Емельянов Д.Ю. ^1,2 , Кулпешов Б.Ш. ^2,3,4 , Судоплатов Сергей Владимирович ^1,2,5,6

Организации

1	Новосибирский государственный технический университет
2	Институт математики и математического моделирования МНВО Республики Казахстан
3	Международный университет информационных технологий
4	Казахстанско-Британский технический университет
5	Институт математики им. С.Л. Соболева СО РАН
6	Новосибирский государственный университет

В работе дается описание алгебр распределений бинарных изолирующих формул над типом для вполне о-минимальных теорий с малым числом счетных моделей. Доказано, что изоморфизм этих алгебр для двух 1-типов характеризуется совпадением рангов выпуклости, а также одновременным выполнением изолированности, квазирациональности, либо иррациональности этих типов. Показано, что для вполне о-минимальных теорий с малым числом счетных моделей любая алгебра распределений бинарных изолирующих формул над парой не слабо ортогональных типов является обобщенно коммутативным моноидом.

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

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

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

РИНЦ:	37172608
OpenAlex:	W4238398127

БД	Цитирований
РИНЦ	7