Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
А.Г. Пинус (1976)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “О разрешимости теории булевых алгебр с выделенным идеалом”
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
О конструктивизациях булевых алгебр.
А.Г. Пинус (1981)
Sibirskij matematiceskij zurnal
Similarity:
Расширенные теории булевых алгебр.
З.А. Дулатова (1984)
Sibirskij matematiceskij zurnal
Similarity:
Неразрешимость теории булевых алгебр с автоморфизмом
В.И. Мартьянов (1982)
Sibirskij matematiceskij zurnal
Similarity:
Ограниченные теории конструктивных булевых алгебр.
С.С. Гончаров (1976)
Sibirskij matematiceskij zurnal
Similarity:
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity:
Насыщенность булевых алгебр
А.И. Омаров (1974)
Sibirskij matematiceskij zurnal
Similarity:
Работы московских алгебраистов в теории универсальных алгебр
А. Г. Курош (1966)
Colloquium Mathematicae
Similarity:
Комбинаторные примеры в теории AF-алгебр
С.В. Керов (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Изоморфные подалгебры вероятностных булевых алгебр
Д.А. Владимиров (1992)
Zapiski naucnych seminarov POMI
Similarity:
Арифметическая иерархия и идеалы нумерованных булевых алгебр.
С.П. Одинцов, В.Л. Селиванов (1989)
Sibirskij matematiceskij zurnal
Similarity:
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров
Ю.Л. Ершов, Ju.L. Eršov, Ǔ. L. Eršov, Ju.L. Ersov (1964)
Algebra i Logika
Similarity:
О рекурсивных автоморфизмах атомных булевых алгебр
А.С. Морозов (1990)
Algebra i Logika
Similarity: