Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity:
Displaying similar documents to “Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры”
Импликативно селекторные множества.
Рекурсивно-комбинаторные свойства подмножеств натуральных чисел
А.Н. Дегтев (1990)
Algebra i Logika
Similarity:
Рекурсивные однородные булевы алгебры
С.Ю. Подзоров (2001)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity:
Тонкая иерархия и определимые индексные множества.
В.Л. Селиванов (1991)
Algebra i Logika
Similarity:
Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии.
Ю.Д. Корольков (2002)
Algebra i Logika
Similarity:
Некоторые вопросы теории рекурсивных функций.
Е.А. Поляков (1968)
Algebra i Logika
Similarity:
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
А.С. Морозов (1983)
Algebra i Logika
Similarity:
Некоторые модификации итерированной клиниевской вычислимости.
Е.Г. Никифорова (1986)
Algebra i Logika
Similarity:
О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств
С.Л. Березнюк (1993)
Algebra i Logika
Similarity: