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

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

Журнал

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

Вых. Данные

Год: 2017, Том: 56, Номер: 1, Страницы: 20-54 Страниц : 35 DOI: 10.17377/alglog.2017.56.102

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

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

Авторы

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

Организации

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

Настоящая работа касается понятия слабой o-минимальности, первоначально исследованного в [1]. Слабо o-минимальной структурой называется линейно упорядоченная структура M = hM;=,<, . . .i, любое определимое (с параметрами) подмножество которой является объединением конечного числа выпуклых множеств в M. Напомним, что такая структура M называется o-минимальной, если каждое её определимое (с параметрами) подмножество является объединением конечного числа интервалов и точек из M. Таким образом, слабая o-минимальность обобщает понятие o-минимальности. Здесь мы исследуем алгебры распределений бинарных изолирующих формул [2, 3] для счётно категоричных слабо o-минимальных теорий. В работе даётся описание алгебр распределений бинарных изолирующих формул над типом для счётно категоричных слабо o-минимальных теорий (теор. 2.9), а также в терминах ранга выпуклости приводится характеризация обобщённой коммутативности алгебры распределений бинарных изолирующих формул над парой типов для счётно категоричных слабо o-минимальных теорий (теор. 3.16).

Емельянов Д.Ю. , Кулпешов Б.Ш. , Судоплатов С.В.
Алгебры распределений бинарных формул в счетно категоричных слабо о-минимальных структурах
Алгебра и логика. 2017. Т.56. №1. С.20-54. DOI: 10.17377/alglog.2017.56.102 РИНЦ

Emel’yanov D.Y. , Kulpeshov B.S. , Sudoplatov S.V.
Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
Algebra and Logic. 2017. V.56. N1. P.13-36. DOI: 10.1007/s10469-017-9424-y WOS Scopus OpenAlex

Поступила в редакцию:	3 апр. 2015 г.
Опубликована в печати:	8 мая 2017 г.
Опубликована online:	8 мая 2017 г.

РИНЦ:

29093886

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