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