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