Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
В.Н. Герасимов (1976)
Algebra i Logika
Similarity:
Displaying similar documents to “О проблеме спектров разрешимости для многообразий алгебр”
Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
О спектрах разрешимости для многообразий ассоциативных алгебр.
Л.М. Мартынов (1984)
Algebra i Logika
Similarity:
Две теоремы существования для вычислимых нумераций.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Аналогии теоремы Райса для семантических классов предложений.
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений
С.С. Заурбеков (1993)
Algebra i Logika
Similarity:
Теорема Веддербарна об отщеплении радикала для (-1,1)-алгебр.
И.М. Михеев, I.M. Micheev, I.M. Miheev, I.M. Mikheev (1973)
Algebra i Logika
Similarity:
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Л.В. Шабунин (1991)
Algebra i Logika
Similarity:
Аналог теоремы Леви для алгебр Мальцева
A.H. Гришков, A.N. Griškov, A.N. Griškov, A.N. Grishkov (1977)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Теорема Леви для алгебр Мальцева
Е.Н. Кузьмин (1977)
Algebra i Logika
Similarity:
Теорема Артина для косоальтернативных алгебр
О.Н. Смирнов, O. N. Smirnov, O. N. Smirnov, O. N. Smirnov (1994)
Algebra i Logika
Similarity: