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

Определимые множества в генерических структурах и их мощности Full article

Journal

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

Output data

Year: 2017, Volume: 20, Number: 2, Pages: 52-79 Pages count : 27 DOI: 10.17377/mattrudy.2017.20.203

Tags

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

Authors

Киуврекис Я.С. ¹ , Стефанеас П. ¹ , Sudoplatov Sergei Vladimirovich ^2,3,4,5

Affiliations

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

Submitted:	Feb 1, 2017
Published print:	Nov 15, 2017

Elibrary:

30558044

DB	Citing
Elibrary	1