О проблеме спектров разрешимости для многообразий алгебр
Л.М. Мартынов (1990)
Algebra i Logika
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 “Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением”
О проблеме спектров разрешимости для многообразий алгебр
Две теоремы существования для вычислимых нумераций.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Аналогии теоремы Райса для семантических классов предложений.
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений
С.С. Заурбеков (1993)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Л.В. Шабунин (1991)
Algebra i Logika
Similarity:
О g-бипримитивно конечных группах с условивием минимальности для g-подгрупп.
А.Н. Остыловский, В.П. Шунков (1975)
Algebra i Logika
Similarity:
Теорема Веддербарна об отщеплении радикала для (-1,1)-алгебр.
И.М. Михеев, I.M. Micheev, I.M. Miheev, I.M. Mikheev (1973)
Algebra i Logika
Similarity:
Проблема числа неавтоэквивалентных конструктивизаций
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
О некоторых примерах верхних полурешеток вычислимых нумераций.
В.В. Вьюгин (1973)
Algebra i Logika
Similarity:
О существовании рекурсивно-перечислимых минимальных табличных степеней.
С.С. Марченков (1975)
Algebra i Logika
Similarity: