Неразрешимость теории булевых алгебр с автоморфизмом
В.И. Мартьянов (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.
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: