Sciact
  • EN
  • RU

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

Journal Алгебра и логика
ISSN: 0373-9252
Output data Year: 2018, Volume: 57, Number: 6, Pages: 662-683 Pages count : 22 DOI: 10.33048/alglog.2018.57.603
Tags вполне о-минимальная теория, счетная модель, ранг выпуклости, алгебра распределений бинарных изолирующих формул, обобщенно коммутативный моноид.
Authors Емельянов Д.Ю. 1,2 , Кулпешов Б.Ш. 2,3,4 , Sudoplatov Sergei Vladimirovich 1,2,5,6
Affiliations
1 Новосибирский государственный технический университет
2 Институт математики и математического моделирования МНВО Республики Казахстан
3 Международный университет информационных технологий
4 Казахстанско-Британский технический университет
5 Институт математики им. С.Л. Соболева СО РАН
6 Новосибирский государственный университет

Abstract: В работе дается описание алгебр распределений бинарных изолирующих формул над типом для вполне о-минимальных теорий с малым числом счетных моделей. Доказано, что изоморфизм этих алгебр для двух 1-типов характеризуется совпадением рангов выпуклости, а также одновременным выполнением изолированности, квазирациональности, либо иррациональности этих типов. Показано, что для вполне о-минимальных теорий с малым числом счетных моделей любая алгебра распределений бинарных изолирующих формул над парой не слабо ортогональных типов является обобщенно коммутативным моноидом.
Cite: Емельянов Д.Ю. , Кулпешов Б.Ш. , Судоплатов С.В.
Алгебры распределений бинарных изолирующих формул для вполне о-минимальных теорий
Алгебра и логика. 2018. Т.57. №6. С.662-683. DOI: 10.33048/alglog.2018.57.603 РИНЦ OpenAlex
Translated: 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
Dates:
Submitted: Apr 5, 2017
Published print: Mar 29, 2019
Published online: Mar 29, 2019
Identifiers:
Elibrary: 37172608
OpenAlex: W4238398127
Citing:
DB Citing
Elibrary 7
Altmetrics: