Сильная конструктивизируемость счетных насыщенных булевых алгебр.
А.С. Морозов (1982)
Algebra i Logika
Similarity:
Displaying similar documents to “О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)”
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity:
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity:
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
С.И. Мардаев (1984)
Algebra i Logika
Similarity:
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Л.В. Шабунин (1991)
Algebra i Logika
Similarity:
A remark on a paper of Taimanov
Ахмад Шафаат (1969)
Algebra i Logika
Similarity:
Частично упорядоченные множества и нематричные тождества неассоциативных алгебр
В.Н. Латышев (1976)
Algebra i Logika
Similarity:
Пример многообразия разрешимых альтернативных алгебр над полем характеристики 2, не имеющего базиса тождеств
Ю.А. Медведев (1980)
Algebra i Logika
Similarity:
О подсистемах приведенных степеней.
А.И. Омаров (1973)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
О противоречивости метатеории Нудельмана
В.А. Ганов, V. A. Ganov, V. A. Ganov, V. A. Ganov (1995)
Algebra i Logika
Similarity: