|
Эта публикация цитируется в 14 научных статьях (всего в 15 статьях)
Об алгебрах распределений бинарных изолирующих формул для вполне $o$-минимальных теорий
Д. Ю. Емельяновab, Б. Ш. Кулпешовacd, С. В. Судоплатовbea a Ин-т матем. и матем. моделир. МОН РК, ул. Пушкина, 125, г. Алма-Ата, 050010, КАЗАХСТАН
b Новосибирский гос. техн. ун-т, пр. К. Маркса, 20, г. Новосибирск, 630073, РОССИЯ
c Казахстанско-Британский техн. ун-т, ул. Толе би, 59, г. Алма-Ата, 050000, КАЗАХСТАН
d Межд. ун-т информ. технологий, ул. Манаса, 34/1, г. Алма-Ата, 050040, КАЗАХСТАН
e Ин-т матем. СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
Аннотация:
Даётся описание алгебр распределений бинарных изолирующих формул над типом для вполне $o$-минимальных теорий с малым числом счетных моделей. Доказывается, что изоморфизм этих алгебр для двух $1$-типов характеризуется совпадением рангов выпуклости, а также одновременным выполнением изолированности, квазирациональности, либо иррациональности этих типов. Показывается, что для вполне $o$-минимальных теорий с малым числом счётных моделей любая алгебра распределений бинарных изолирующих формул над парой не слабо ортогональных типов является обобщённо коммутативным моноидом.
Ключевые слова:
вполне $o$-минимальная теория, счётная модель, ранг выпуклости, алгебра распределений бинарных изолирующих формул, обобщённо коммутативный моноид.
Поступило: 05.04.2017 Окончательный вариант: 16.01.2018
Образец цитирования:
Д. Ю. Емельянов, Б. Ш. Кулпешов, С. В. Судоплатов, “Об алгебрах распределений бинарных изолирующих формул для вполне $o$-минимальных теорий”, Алгебра и логика, 57:6 (2018), 662–683; Algebra and Logic, 57:6 (2019), 429–444
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al873 https://www.mathnet.ru/rus/al/v57/i6/p662
|
Статистика просмотров: |
Страница аннотации: | 338 | PDF полного текста: | 41 | Список литературы: | 51 | Первая страница: | 17 |
|