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