|
Алгебра и логика, 1973, том 12, номер 6, страницы 644–654
(Mi al1403)
|
|
|
|
Сколемовские функции и конструктивные модели
Ю. Л. Ершов
Аннотация:
Дается довольно общее достаточное условие существования конструктивной
модели для теории, описанной аксиомами в приведенной форме, — условие
конечности препятствий для соответствующей сколемовской теории.
Поступило: 26.11.1973
Образец цитирования:
Ю. Л. Ершов, “Сколемовские функции и конструктивные модели”, Алгебра и логика, 12:6 (1973), 644–654
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1403 https://www.mathnet.ru/rus/al/v12/i6/p644
|
Статистика просмотров: |
Страница аннотации: | 100 | PDF полного текста: | 29 | Список литературы: | 1 |
|