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