Конструктивность нумерованной модели ( ЗИ, v), очевидно, равносильна разрешимости множества бескванторных формул из ТЬ1 ( ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Сборник N.N.
Избранные вопросы алгебры и логики
Конструктивность нумерованной модели ( ЗИ, v), очевидно, равносильна разрешимости множества бескванторных формул из ТЬ1 ( ЗЯ, v), так что всякая сильно конструктивная модель является конструктивной.
