Отношения эквивалентности, предупорядоченные структуры и алгоритмические сводимости на них, как математическая модель баз данных
Full Name of the work head: Кыдырбекулы А.Б.
Исполнители проекта: Бадаев С.А.*Сорби А.
: Научно-исследовательский институт математики и механики при КазНУ им. аль-Фараби
Inventory number: 0215РК00987
Registration number: 0115РК00769
Keywords: отношения эквивалентности*топология Виссера*индексные множества*изоморфизмы
Исследованы слабо предполные вычислимо перечислимые отношения эквивалентности, взаимосвязи между разными классами вычислимо перечислимых отношений эквивалентности. Рассмотрены классификации слабо предполных позитивных эквивалентностей по двум принципиально различным подходам: теоретико-категорному и топологическому. Доказано, что каждая слабо предполная эквивалентность порождает разбиение натурального ряда на вычислимо неотделимые множества, существует бесконечно много типов изоморфизма слабо предполных позитивных эквивалентностей, которые являются равномерно конечно предполными, а, значит, и универсальными. Доказано существование бесконечно много типов изоморфизма слабо предполных позитивных эквивалентностей, которые не являются универсальными.