О разрешимости теории булевых алгебр с выделенным идеалом
А.С. Морозов (1982)
Sibirskij matematiceskij zurnal
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.
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 “Теории булевых алгебр в исчислении с квантором 'существует бесконечно много'.”
О разрешимости теории булевых алгебр с выделенным идеалом
О конструктивизациях булевых алгебр.
А.Г. Пинус (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: