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

Определимые множества в генерических структурах и их мощности Научная публикация

Журнал

Математические труды
ISSN: 1560-750X

Вых. Данные

Год: 2017, Том: 20, Номер: 2, Страницы: 52-79 Страниц : 27 DOI: 10.17377/mattrudy.2017.20.203

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

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

Авторы

Киуврекис Я.С. ¹ , Стефанеас П. ¹ , Судоплатов Сергей Владимирович ^2,3,4,5

Организации

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

На основе анализа диаграмм, образующих генерирующие классы, описываются определимые множества и их связи в генерических структурах, а также конечные и бесконечные мощностные оценки для этих определимых множеств. Вводятся основные характеристики для определимых множеств в генерических структурах, приводится их сравнение друг с другом, а также с мощностями самих определимых множеств. Определяются исчисления для (типово) определимых множеств, позволяющие сравнивать мощности этих множеств. В терминах этих исчислений доказана теорема о трихотомии для вариантов сравнения мощностей определимых множеств. На основе исчислений охарактеризована возможность построения генерической структуры для данного генерирующего класса.

Киуврекис Я.С. , Стефанеас П. , Судоплатов С.В.
Определимые множества в генерических структурах и их мощности
Математические труды. 2017. Т.20. №2. С.52-79. DOI: 10.17377/mattrudy.2017.20.203 РИНЦ

Kiouvrekis Y. , Stefaneas P. , Sudoplatov S.V.
Definable sets in generic structures and their cardinalities
Siberian Advances in Mathematics. 2018. V.28. N1. P.39-52. DOI: 10.3103/S1055134418010030 Scopus РИНЦ OpenAlex

Поступила в редакцию:	1 февр. 2017 г.
Опубликована в печати:	15 нояб. 2017 г.

РИНЦ:

30558044

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