О разрешимости теории булевых алгебр с выделенным идеалом
А.С. Морозов (1982)
Sibirskij matematiceskij zurnal
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “Теории булевых алгебр в исчислении с квантором 'существует бесконечно много'.”
О разрешимости теории булевых алгебр с выделенным идеалом
О конструктивизациях булевых алгебр.
А.Г. Пинус (1981)
Sibirskij matematiceskij zurnal
Similarity:
Работы московских алгебраистов в теории универсальных алгебр
А. Г. Курош (1966)
Colloquium Mathematicae
Similarity:
Изоморфные подалгебры вероятностных булевых алгебр
Д.А. Владимиров (1992)
Zapiski naucnych seminarov POMI
Similarity:
Расширенные теории булевых алгебр.
З.А. Дулатова (1984)
Sibirskij matematiceskij zurnal
Similarity:
Ограниченные теории конструктивных булевых алгебр.
С.С. Гончаров (1976)
Sibirskij matematiceskij zurnal
Similarity:
Неразрешимость теории булевых алгебр с автоморфизмом
В.И. Мартьянов (1982)
Sibirskij matematiceskij zurnal
Similarity:
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Насыщенность булевых алгебр
А.И. Омаров (1974)
Sibirskij matematiceskij zurnal
Similarity:
Конструктивизируемость суператомных булевых алгебр.
С.С. Гончаров (1973)
Algebra i Logika
Similarity:
О числах Левенгейма для скелетов многообразия булевых алгебр.
А.Г. Пинус (1991)
Algebra i Logika
Similarity:
О топологической полноте булевых алгебр в секвенциальной порядковой топологии.
А.И. Векслер (1973)
Sibirskij matematiceskij zurnal
Similarity:
Арифметическая иерархия и идеалы нумерованных булевых алгебр.
С.П. Одинцов, В.Л. Селиванов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Исчисление с квантором элементарной эквивалентности
А.Г. Пинус (1984)
Sibirskij matematiceskij zurnal
Similarity:
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity: