Сильная конструктивизируемость счетных насыщенных булевых алгебр.
А.С. Морозов (1982)
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 “О неразрешимости теорий булевых алгебр с выделенным идеалом.”
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
Импликативно селекторные множества.
А.Н. Дëгтев, 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:
Рекурсивные однородные булевы алгебры
С.Ю. Подзоров (2001)
Algebra i Logika
Similarity:
Сложность булевых функций в классе полиноминальных поляризованных форм
Н.А. Перязев, N. A. Perjazev, N. A. Perǎzev, N. A. Perjazev (1995)
Algebra i Logika
Similarity:
Тонкая иерархия и определимые индексные множества.
В.Л. Селиванов (1991)
Algebra i Logika
Similarity:
Прямые слагаемые булевых алгебр с выделенными идеалами
Д.Е. Пальчунов (1992)
Algebra i Logika
Similarity:
Сложность булевых алгебр и их ранг Скотта.
П.Е. Алаев (1999)
Algebra i Logika
Similarity:
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С.П. Одинцов (1992)
Algebra i Logika
Similarity:
Полиномиальные разложения булевых функций по невырожденным функциям.
С.Ф. Винокуров, Н.А. Перязев (1991)
Algebra i Logika
Similarity:
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
С.И. Мардаев (1984)
Algebra i Logika
Similarity: