Аннотация и ключевые слова
Аннотация (русский):
Найдены синтаксические условия достаточные для существования модельного компаньона индуктивной счетной теории.

Ключевые слова:
индуктивная теория, алгебраически простая модель
Текст
Текст произведения (PDF): Читать Скачать
Список литературы

1. Barwise J., Robinson A. Completing theories by forcing, Annals of Mathem. Logic, v.2, num. 2,1970, 119-142

Войти или Создать
* Забыли пароль?