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