Неразрешимость некоторых теорий
Ю.Л. Ершов, М.А. Тайцлин, 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. Taislin (1967)
Algebra i Logika
Similarity:
Неразрешимость элементарных теорий некоторых колец
И.А. Лавров (1962)
Algebra i Logika
Similarity:
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
И.А. Лавров (1963)
Algebra i Logika
Similarity:
Два замечания об изоморфизмах коммутативных полугрупп
М.А. Тайцлин (1967)
Algebra i Logika
Similarity:
Разрешимость некоторых элементарных теорий
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taiclin, M.A. Tajchlin (1964)
Algebra i Logika
Similarity:
Об элементарных теориях свободных нильпотентных алгебр
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Taiclin (1964)
Algebra i Logika
Similarity:
Эквивалентность автоматов относительно коммутативной полугруппы.
М.А. Тайлицин (1969)
Algebra i Logika
Similarity:
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taiclin (1962)
Algebra i Logika
Similarity: