Нормальность хорновых теорий с немаксимальным спектром
Е.А. Палютин (1985)
Algebra i Logika
Similarity:
Displaying similar documents to “Три теоремы об элементарных теориях tt-сводимости.”
Нормальность хорновых теорий с немаксимальным спектром
Генерические модели счетных теорий
С.А. Чихачев (1975)
Algebra i Logika
Similarity:
Несколько результов о верхних полурешетках и m-степенях.
А.Н. Дегтев (1979)
Algebra i Logika
Similarity:
О верхней полурешетке рекурсивно-перечислимых Q-степеней.
Р.Ш. Оманадзе (1984)
Algebra i Logika
Similarity:
О генетических моделях.
С.А. Чихачев (1975)
Algebra i Logika
Similarity:
О теориях с двухкардинальной формулой
Т.Г. Мустафин (1980)
Algebra i Logika
Similarity:
О степенях сводимостей по перечислимости.
С.Д. Захаров (1986)
Algebra i Logika
Similarity:
О счетной категоричности
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
Эквивалентность автоматов относительно коммутативной полугруппы.
М.А. Тайлицин (1969)
Algebra i Logika
Similarity:
Гиперпростые m-степени.
Ю.Л. Ершов (1969)
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:
Проблема остановки и теория иерархий.
Л.Н. Победин (1975)
Algebra i Logika
Similarity: