Sciact
  • EN
  • RU

Определимые множества в генерических структурах и их мощности 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 Киуврекис Я.С. 1 , Стефанеас П. 1 , Sudoplatov Sergei Vladimirovich 2,3,4,5
Affiliations
1 Национальный технический университет Афин
2 Институт математики им. С.Л. Соболева СО РАН
3 Новосибирский государственный университет
4 Новосибирский государственный технический университет
5 Институт математики и математического моделирования МНВО Республики Казахстан

Abstract: На основе анализа диаграмм, образующих генерирующие классы, описываются определимые множества и их связи в генерических структурах, а также конечные и бесконечные мощностные оценки для этих определимых множеств. Вводятся основные характеристики для определимых множеств в генерических структурах, приводится их сравнение друг с другом, а также с мощностями самих определимых множеств. Определяются исчисления для (типово) определимых множеств, позволяющие сравнивать мощности этих множеств. В терминах этих исчислений доказана теорема о трихотомии для вариантов сравнения мощностей определимых множеств. На основе исчислений охарактеризована возможность построения генерической структуры для данного генерирующего класса.
Cite: Киуврекис Я.С. , Стефанеас П. , Судоплатов С.В.
Определимые множества в генерических структурах и их мощности
Математические труды. 2017. Т.20. №2. С.52-79. DOI: 10.17377/mattrudy.2017.20.203 РИНЦ
Translated: 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
Dates:
Submitted: Feb 1, 2017
Published print: Nov 15, 2017
Identifiers:
Elibrary: 30558044
Citing:
DB Citing
Elibrary 1
Altmetrics: