Арифметическая иерархия и идеалы нумерованных булевых алгебр.
Displaying 61 – 80 of 176
Безатомные идеалы конструктивных булевых алгебр.
С.П. Одинцов (1984)
Algebra i Logika
Верхние полурешетки нумераций
Ан.А. Мальцев (1982)
Sibirskij matematiceskij zurnal
Вполне перечислимые множества.
Ю.Д. Корольков (1999)
Sibirskij matematiceskij zurnal
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
В.П. Добрица (1989)
Sibirskij matematiceskij zurnal
Вычислимые классы конструктивизаций -конструктивизируемых моделей.
С.Ю. Подзоров (1999)
Algebra i Logika
Вычислимые нумерации и отношения эквивалентности
З.Г. Хисамиев (1986)
Sibirskij matematiceskij zurnal
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Вычислимые структурные и антиструктурные теоремы.
С.С. Гончаров, Дж. Найт (2002)
Algebra i Logika
Группы автоморфизмов вычислимо перечислимых предикатов.
Э.Ф. Комбарро (2002)
Algebra i Logika
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
А.С. Морозов (1983)
Algebra i Logika
Две теоремы о вычислимых нумерациях
В.Л. Селиванов (1976)
Algebra i Logika
Дискретные семейства рекурсивных функций и индексные множества
М. Куммер, С. Вехнер, Йи Ксяо-Динг, M. Kummer (1994)
Algebra i Logika
Еще раз о вопросе Хигмана
А.С. Морозов (2000)
Algebra i Logika
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Ю.Г. Венцов (1992)
Algebra i Logika
Иерархии абелевых групп без кручения.
Н.Г. Хисамиев (1986)
Algebra i Logika
Индексные множества фактор-объектов нумерации Поста
В.Л Селиванов (1988)
Algebra i Logika
Конструктивизируемость булевых алгебр элементарной характеристики .
В.Н. Власов, V. N. Vlasov, V. N. Vlasov, V. N. Vlasov (1998)
Algebra i Logika
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Конструктивные однородные расширения.
А.С. Денисов (1984)
Sibirskij matematiceskij zurnal