Неразрешимость теории булевых алгебр с автоморфизмом
В.И. Мартьянов (1982)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Расширенные теории булевых алгебр.”
Неразрешимость теории булевых алгебр с автоморфизмом
О разрешимости теории булевых алгебр с выделенным идеалом
А.С. Морозов (1982)
Sibirskij matematiceskij zurnal
Similarity:
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
А.Г. Пинус (1976)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивизациях булевых алгебр.
А.Г. Пинус (1981)
Sibirskij matematiceskij zurnal
Similarity:
Насыщенность булевых алгебр
А.И. Омаров (1974)
Sibirskij matematiceskij zurnal
Similarity:
On a sufficient condition for strong constructivizability of atomic Boolean algebras.
Dzgoev, V.D. (2000)
Vladikavkazskiĭ Matematicheskiĭ Zhurnal
Similarity:
Счетные однородные булевы алгебры.
А.С. Морозов (1983)
Algebra i Logika
Similarity:
Ограниченные теории конструктивных булевых алгебр.
С.С. Гончаров (1976)
Sibirskij matematiceskij zurnal
Similarity:
Критические теории
Ю.М. Важенин (1988)
Sibirskij matematiceskij zurnal
Similarity:
О рекурсивных автоморфизмах атомных булевых алгебр
А.С. Морозов (1990)
Algebra i Logika
Similarity:
Арифметическая иерархия и идеалы нумерованных булевых алгебр.
С.П. Одинцов, В.Л. Селиванов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Прямые слагаемые булевых алгебр с выделенными идеалами
Д.Е. Пальчунов (1992)
Algebra i Logika
Similarity:
Критические теории некоторых классов графов и унарных алгебр
С.В. Сизый (1989)
Algebra i Logika
Similarity:
Два свойства булевых алгебр с векторной мерой
А.Г. Порошкин (1975)
Sibirskij matematiceskij zurnal
Similarity:
Алгебра Линденбаума-Тарского класса булевых алгебр с одним выделенным идеалом
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1994)
Algebra i Logika
Similarity:
Конечно-аксиоматизируемые булевы алгебры с выделенным идеалами
Д.E. Пальчунов (1987)
Algebra i Logika
Similarity:
Инвариантные гомоморфизмы нестандартных расширений булевых алгебр и векторных решеток
Э.Ю. Емельянов (1997)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость булевых алгебр с выделенным идеалом.
Н.Т. Когабаев (1998)
Sibirskij matematiceskij zurnal
Similarity: