Доказано, что в любой степени вычислимо перечислимого отношения эквивалентности количество типов вычислимого изоморфизма либо равно 1, либо бесконечно. Найден критерий универсальности вычислимо перечислимого отношения эквивалентности в терминах оператора скачка. Показано, что топологические пространства Виссера для предполных и слабо предполных вычислимо перечислимых отношений эквивалентности могут быть не гомеоморфными. Количество типов вычислимых изоморфизмов в степени позитивного порядка равно либо 1, либо бесконечно.ора скачка. Показано, что топологические пространства Виссера для предполных и слабо предполных вычислимо перечислимых отношений эквивалентности могут быть не гомеоморфными. Показано, что количество типов вычислимых изоморфизмов в степени позитивного порядка равно либо одному, либо бесконечно.