|
Алгебра и логика, 1979, том 18, номер 2, страницы 176–185
(Mi al1641)
|
|
|
|
Теория с двумя сильно конструктивизируемыми моделями
К. Ж. Кудайбергенов
Аннотация:
Строится пример полной, допускающей элиминацию кванторов теории, имеющей точно две сильно конструктивизируемые модели, причем обе они автоустойчивы относительно всех конструктивизаций.
Поступило: 17.07.1978
Образец цитирования:
К. Ж. Кудайбергенов, “Теория с двумя сильно конструктивизируемыми моделями”, Алгебра и логика, 18:2 (1979), 176–185
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1641 https://www.mathnet.ru/rus/al/v18/i2/p176
|
|