Прямые слагаемые булевых алгебр с выделенными идеалами
Д.Е. Пальчунов (1992)
Algebra i Logika
Similarity:
Displaying similar documents to “Сложность булевых алгебр и их ранг Скотта.”
Прямые слагаемые булевых алгебр с выделенными идеалами
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
А.С. Морозов (1982)
Algebra i Logika
Similarity:
Сложность булевых функций в классе полиноминальных поляризованных форм
Н.А. Перязев, N. A. Perjazev, N. A. Perǎzev, N. A. Perjazev (1995)
Algebra i Logika
Similarity:
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity:
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Алгебра Линденбаума-Тарского булевых алгебр с выделенным идеаломи
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1995)
Algebra i Logika
Similarity:
Тонкая иерархия и определимые индексные множества.
В.Л. Селиванов (1991)
Algebra i Logika
Similarity:
Рекурсивные однородные булевы алгебры
С.Ю. Подзоров (2001)
Algebra i Logika
Similarity:
Полиномиальные разложения булевых функций по невырожденным функциям.
С.Ф. Винокуров, Н.А. Перязев (1991)
Algebra i Logika
Similarity:
Некоторые свойства алгебраической сводимости конструктивизаций
С.Т. Федоряев (1990)
Algebra i Logika
Similarity:
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity: