Универсальные расширенные теории целых чисел
В.И. Мартьянов (1977)
Algebra i Logika
Similarity:
Displaying similar documents to “Универсальные теории целых чисел и расширенная гипотеза близнецов”
Универсальные расширенные теории целых чисел
Универсальные хорновы классы и антимногообразия алгебраических систем
В.А. Горбунов, A.B. Кравченко (2000)
Algebra i Logika
Similarity:
Полные теории унаров.
А.А. Иванов (1984)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
О категоричных позитивных хорновских теориях.
Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Paljutin (1979)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Некоторые вопросы обобщенной вычислимости.
Л.Н. Победин (1973)
Algebra i Logika
Similarity:
Нормальность хорновых теорий с немаксимальным спектром
Е.А. Палютин (1985)
Algebra i Logika
Similarity:
О подсистемах приведенных степеней.
А.И. Омаров (1973)
Algebra i Logika
Similarity: