О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
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)
Конструктивизируемость суператомных булевых алгебр.
С.С. Гончаров (1973)
Algebra i Logika
Similarity:
Конструктивные модели полных разрешимых теорий.
С.С. Гончаров, А.Т. Нуртазин (1973)
Algebra i Logika
Similarity:
О разрешимости теории булевых алгебр с выделенным идеалом
А.С. Морозов (1982)
Sibirskij matematiceskij zurnal
Similarity:
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
А.Г. Пинус (1976)
Sibirskij matematiceskij zurnal
Similarity:
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity:
Изоморфные подалгебры вероятностных булевых алгебр
Д.А. Владимиров (1992)
Zapiski naucnych seminarov POMI
Similarity:
Арифметическая иерархия и идеалы нумерованных булевых алгебр.
С.П. Одинцов, В.Л. Селиванов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Неразрешимость теории булевых алгебр с автоморфизмом
В.И. Мартьянов (1982)
Sibirskij matematiceskij zurnal
Similarity:
Расширенные теории булевых алгебр.
З.А. Дулатова (1984)
Sibirskij matematiceskij zurnal
Similarity:
Спектры степеней для отношений на булевых алгебрах
С.С. Гончаров, Р. Доуни, Д. Хиршвельд (2003)
Algebra i Logika
Similarity:
Насыщенность булевых алгебр
А.И. Омаров (1974)
Sibirskij matematiceskij zurnal
Similarity:
Универсальные рекурсивно перечислимые булевы алгебры
С.С. Гончаров (1983)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивизациях булевых алгебр.
А.Г. Пинус (1981)
Sibirskij matematiceskij zurnal
Similarity:
Автоморфизмы конструктивизаций булевых алгебр.
А.С. Морозов (1986)
Sibirskij matematiceskij zurnal
Similarity: