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