Н. В. Белякин, С. П. Одинцов, “Нестандартный анализ и аксиома детерминированности”, Алгебра и логика, 1993, том 32, номер 6,страницы 607

Нестандартный анализ и аксиома детерминированности

Н. В. Белякин, С. П. Одинцов^a

^a Институт математики Сибирского отделения Российской академии наук, г. Новосибирск

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

УДК: 510.223

Поступило: 16.11.1992