Антиаддитивные примитивно связные теории
Е.А. Палютин (2003)
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 “Примитивно связные теории”
Антиаддитивные примитивно связные теории
Элиминация кванторов в хорновых теориях с малым числом моделей.
Е.А. Палютин (1991)
Algebra i Logika
Similarity:
Суперразложимые чисто-инъективные модули хад коммутативными кольцами нормирования
Г.Е. Пунинский (1992)
Algebra i Logika
Similarity:
Полные теории унаров.
А.А. Иванов (1984)
Algebra i Logika
Similarity:
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Некоторые вопросы обобщенной вычислимости.
Л.Н. Победин (1973)
Algebra i Logika
Similarity:
О существовании рекурсивно-перечислимых минимальных табличных степеней.
С.С. Марченков (1975)
Algebra i Logika
Similarity:
О подсистемах приведенных степеней.
А.И. Омаров (1973)
Algebra i Logika
Similarity:
A remark on a paper of Taimanov
Ахмад Шафаат (1969)
Algebra i Logika
Similarity: