Неконструктивизируемые формальные арифметические структуры

Установлена неконструктивизируемость ряда формальных арифметических структур в нестандартных моделях формальной арифметики Пеано $PA$. Также рассмотрена формальная структура, конструктивизируемость которой в счетной нестандартной модели $PA$ зависит от выбора такой модели. Все конкретные примеры построены на формулах класса $\Delta_1(PA)$. Стандартные интерпретации в связи с этим рекурсивны.
Библиография: 12 названий