Об одном консервативном расширении формального математического анализа со схемой зависимого выбора

Изучается расширение классического анализа, язык которого получается добавлением к языку анализа двуместного предикатного символа $\rho$. К аксиомам этого расширения, помимо всех аксиом анализа (схема свертывания берется для всех формул нового языка) относится также серия аксиом, утверждающих, что отношение $\rho$ вполне упорядочивает класс всех множеств натуральных чисел. Доказано, что описанная теория является консервативным расширением анализа со схемой зависимого выбора. Библ. 3 назв.