Две теоремы существования для вычислимых нумераций.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Две теоремы о вычислимых нумерациях”
Две теоремы существования для вычислимых нумераций.
О нумерациях семейств общерекурсивных функций
В.Л. Селиванов (1976)
Algebra i Logika
Similarity:
Применения предполных нумераций к степеням табличного типа и индексным множествам
В.Л. Селиванов (1989)
Algebra i Logika
Similarity:
Минимальные нумерации позитивно вычислимых семейств
С.А. Бадаев, S. A. Badaev, S. A. Badaev, S. A. Badaev (1994)
Algebra i Logika
Similarity:
Обобщение теоремы Селиванова
С.Л. Березнюк, М.В. Гайлит (1996)
Sibirskij matematiceskij zurnal
Similarity:
Утончения полиномиальной иерархии.
В.Л. Селиванов (1999)
Algebra i Logika
Similarity:
Иерархия Ершова и T-скачок
В.Л. Селиванов (1988)
Algebra i Logika
Similarity:
О мощности полурешеток нумераций недискретных семейств
С.А. Бадаев (1993)
Sibirskij matematiceskij zurnal
Similarity:
О вычислимых нумерациях семейств общерекурсивных функций
С.А. Бадаев (1977)
Algebra i Logika
Similarity:
О сводимости вычислимых нумераций.
А.Б. Хуторецкий, A.B. Chutoreckij, A.B. Hutoreckij, A.B. Khutoretskij (1969)
Algebra i Logika
Similarity:
О структуре степеней обощенных индексных множеств.
В.Л. Селиванов (1983)
Algebra i Logika
Similarity:
Позитивные нумерации семейств с однозначными нимерациями
С.С. Гончаров (1983)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
О позитивных нумерациях семейств множеств иерархии Ершова
Ж.Т. Таласбаева (2003)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Индексные множества фактор-объектов нумерации Поста
В.Л Селиванов (1988)
Algebra i Logika
Similarity:
О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств
С.Л. Березнюк (1993)
Algebra i Logika
Similarity:
О нумерациях канонически вычислимых семейств конечных множеств
В.Л. Селиванов (1977)
Sibirskij matematiceskij zurnal
Similarity:
О структуре степеней неразрешимости индексных множеств.
В.Л. Селиванов (1979)
Algebra i Logika
Similarity:
Тонкая иерархия и определимые индексные множества.
В.Л. Селиванов (1991)
Algebra i Logika
Similarity: