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