О btt-сводимости.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
Displaying similar documents to “Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур”
О btt-сводимости.
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
И.А. Лавров (1963)
Algebra i Logika
Similarity:
Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin, M.A. Tajclin (1963)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
О вычислимости с функционалами
В.И. Амстиславский (1973)
Algebra i Logika
Similarity:
Два замечания об изоморфизмах коммутативных полугрупп
М.А. Тайцлин (1967)
Algebra i Logika
Similarity:
Неразрешимость некоторых теорий
Ю.Л. Ершов, М.А. Тайцлин, 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:
Ответ на один вопрос П.Р.Янга.
И.А. Лавров (1968)
Algebra i Logika
Similarity:
О регулярно разложимых проективных множествах
А.А. Ляпунов (1947)
Matematiceskij sbornik
Similarity:
Частично упорядоченные множества и k-расщепляемость
С.С. Кислицин (1967)
Sibirskij matematiceskij zurnal
Similarity:
Об эффективно гиперпростых множествах.
М.М. Арсланов (1969)
Algebra i Logika
Similarity:
Ещё несколько примеров неразрешимых теорий
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taislin (1967)
Algebra i Logika
Similarity:
О мощности множества максимальных подалгебр алгебры частично рекурсивных функций.
А.И. Щеглов (1968)
Algebra i Logika
Similarity:
Частично упорядоченные множества конечного типа
М.М. Клейнер (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity: