Strong $\Delta^0_2$ categoricity

Рассматриваются различные классы категоричности и стабильности в конструктивных моделях, связанные с понятиями автоустойчивости и рекурсивной устойчивости. Доказано различие этих понятий и найдены синтаксические характеризации для рекурсивной стабильности.