|
Известия Академии наук СССР. Серия математическая, 1961, том 25, выпуск 6, страницы 755–764
(Mi im3425)
|
|
|
|
Характеристика аксиоматизируемых классов моделей. II
А. Д. Тайманов
Аннотация:
В работе рассматривается вопрос об эквивалентности двух систем аксиом $S$, $T$ относительно системы аксиом $K$ и дается усиление теоремы А. Робинсона осносительно $\sigma$-устойчивости. Результаты работы [1] переносятся на формулы, содержащие свободные предметные переменные.
Поступило в редакцию: 06.06.1960
Образец цитирования:
А. Д. Тайманов, “Характеристика аксиоматизируемых классов моделей. II”, Изв. АН СССР. Сер. матем., 25:6 (1961), 755–764
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im3425 https://www.mathnet.ru/rus/im/v25/i6/p755
|
Статистика просмотров: |
Страница аннотации: | 250 | PDF полного текста: | 104 | Первая страница: | 1 |
|