RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив

Изв. АН СССР. Сер. матем., 1961, том 25, выпуск 6, страницы 755–764 (Mi im3425)

Характеристика аксиоматизируемых классов моделей. II

А. Д. Тайманов


Аннотация: В работе рассматривается вопрос об эквивалентности двух систем аксиом $S$, $T$ относительно системы аксиом $K$ и дается усиление теоремы А. Робинсона осносительно $\sigma$-устойчивости. Результаты работы [1] переносятся на формулы, содержащие свободные предметные переменные.

Поступило в редакцию: 06.06.1960



Реферативные базы данных:


© МИАН, 2024