Вычислимый изоморфизм
-
Определение вычислимого изоморфизма
- Два множества
- A
- и
- B
- из натуральных чисел считаются вычислимо изоморфными, если существует полная вычислимая функция
- f
- , отображающая
- на
- .
-
Вычислимо изоморфные нумерации
- Две нумерации
- ν
- μ
- называются вычислимо изоморфными, если существует вычислимая функция
- , такая что
- =
- ∘
-
Теорема об изоморфизме Майхилла
- Отношение вычислимого изоморфизма эквивалентно отношению взаимной однозначной сводимости.
-
Рекомендации по цитированию
- Статья содержит инструкции по цитированию и форматированию библиографических описаний.
-
Заметка о статье
- Статья является заглушкой и нуждается в расширении для включения в Википедию.