|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Определимые множества в генерических структурах и их мощности
Я. Киуврекисa, П. Стефанеасa, С. В. Судоплатовbcde a Национальный технический ун-т Афин,
Зографу, 15780 ГРЕЦИЯ
b Институт математики им. С. Л. Соболева СО РАН,
Новосибирск, 630090 РОССИЯ
c Новосибирский гос. технический университет,
Новосибирск, 630073 РОССИЯ
d Новосибирский гос. университет,
Новосибирск, 630090 РОССИЯ
e Институт математики
и матем. моделирования МОН РК,
Алматы, 050010 КАЗАХСТАН
Аннотация:
На основе анализа диаграмм, образующих генерирующие классы, описываются определимые множества и их связи в генерических структурах, а также конечные и бесконечные мощностные оценки для этих определимых множеств. Вводятся основные характеристики для определимых множеств в генерических структурах, приводится их сравнение друг с другом, а также с мощностями самих определимых множеств. Определяются исчисления для (типово-)определимых множеств, позволяющие сравнивать мощности этих множеств. В терминах этих исчислений доказана теорема о трихотомии для вариантов сравнения мощностей определимых множеств. На основе исчислений охарактеризована возможность построения генерической структуры для данного генерирующего класса.
Ключевые слова и фразы:
определимое множество, генерическая структура, мощность множества, генерирующий класс, исчисление для определимых множеств.
Статья поступила: 01.02.2017
Образец цитирования:
Я. Киуврекис, П. Стефанеас, С. В. Судоплатов, “Определимые множества в генерических структурах и их мощности”, Матем. тр., 20:2 (2017), 52–79; Siberian Adv. Math., 28:1 (2018), 39–52
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt323 https://www.mathnet.ru/rus/mt/v20/i2/p52
|
Статистика просмотров: |
Страница аннотации: | 306 | PDF полного текста: | 135 | Список литературы: | 47 | Первая страница: | 5 |
|