Неразрешимость некоторых теорий
Ю.Л. Ершов, М.А. Тайцлин, Ju.L. Eršov, M.A. Tajclin, Ǔ. L. Eršov, M.A. Tajclin, M.A. Taitslin, Ju.L. Ersov, Ju.L. Eršov, M.A. Tajclin (1963)
Algebra i Logika
Similarity:
Displaying similar documents to “Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий”
Неразрешимость некоторых теорий
Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Tajclin (1963)
Algebra i Logika
Similarity:
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taiclin (1962)
Algebra i Logika
Similarity:
Неразрешимость элементарных теорий некоторых колец
И.А. Лавров (1962)
Algebra i Logika
Similarity:
Отношения, допускающие транзитивную группу автоморфизмов
Р.И. Тышкевич (1975)
Matematiceskij sbornik
Similarity:
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Л.В. Шабунин (1991)
Algebra i Logika
Similarity:
О сложности алгоритмов сведения в конструкциях Новикова-Буна.
Б.А. Трахтенброт (1969)
Algebra i Logika
Similarity:
Ещё несколько примеров неразрешимых теорий
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taislin (1967)
Algebra i Logika
Similarity:
Нормальность хорновых теорий с немаксимальным спектром
Е.А. Палютин (1985)
Algebra i Logika
Similarity:
Представление полугрупп при помощи бинарных отношений
Б.М. Шайн (1963)
Matematiceskij sbornik
Similarity:
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963)
Algebra i Logika
Similarity:
Мультипликативные формулы
А.И. Омаров (1993)
Algebra i Logika
Similarity:
О сохранении элементарной и универсальной эквивалентности при сплетении.
Е.И. Тимошенко (1968)
Algebra i Logika
Similarity: