Cтраница 2
Теперь рассмотрим случаи, когда ответы на вопросы 7.3.2 - 7.3.3 отрицательны. Для того чтобы дать отрицательный ответ на проблему 7.3.2, мы должны привести пример модели Йонссона мощности а. Существуют очевидные примеры моделей Йонссона мощности а, например стандартная модель арифметики ( со - f, , 0) есть модель Йонссона. Следующий результат дает нам другие примеры. [16]