Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Displaying similar documents to “О теориях с двухкардинальной формулой”
Сильно конструктивная модель без элементарных подмоделей и расширений.
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Связь мощностей формульных подмножеств со стабильностью формул
М.М. Еримбетов (1985)
Algebra i Logika
Similarity:
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Similarity:
Вариант конструктивных ординалов Рихтера.
Н.В. Белякин (1969)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
О противоречивости метатеории Нудельмана
В.А. Ганов, V. A. Ganov, V. A. Ganov, V. A. Ganov (1995)
Algebra i Logika
Similarity:
Полные теории унаров.
А.А. Иванов (1984)
Algebra i Logika
Similarity:
О btt-сводимости II.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
О подсистемах приведенных степеней.
А.И. Омаров (1973)
Algebra i Logika
Similarity:
О существовании рекурсивно-перечислимых минимальных табличных степеней.
С.С. Марченков (1975)
Algebra i Logika
Similarity: