Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Tajclin (1963)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: