|
Алгебра и логика, 1978, том 17, номер 4, страницы 436–454
(Mi al1616)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 4 статьях)
Критерий сильной конструктивизируемости однородной модели
М. Г. Перетятькин
Аннотация:
Доказано, что для сильной конструктивизируемости однородной модели $\mathfrak{M}$ полной разрешимой теории $T$ вычислимость семейства $S$ всех типов, реализуемых в $\mathfrak{M}$, недостаточна. Приводится соответствующий контрпример, а также точный критерий сильной конструктивизируемости $\mathfrak{M}$, включающий, кроме вычислимости $S$, некоторое условие эффективности для расширений типов из $S$.
Поступило: 02.02.1978
Образец цитирования:
М. Г. Перетятькин, “Критерий сильной конструктивизируемости однородной модели”, Алгебра и логика, 17:4 (1978), 436–454
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1616 https://www.mathnet.ru/rus/al/v17/i4/p436
|
|