Конструктивный нестандартный анализ

В математике конструктивный нестандартный анализ — это версия нестандартного анализа Абрахама Робинсона , разработанная Мурдейком (1995), Палмгреном (1998), Руоколайненом (2004). Руоколайнен писал:

Возможность конструктивизации нестандартного анализа изучалась Пальмгреном (1997, 1998, 2001). Изучаемая там модель конструктивного нестандартного анализа является расширением модели Мурдейка (1995) для конструктивной нестандартной арифметики.

Смотрите также

• Конструктивный анализ
• Гладкий бесконечно малый анализ
• Джон Лейн Белл

Ссылки

• Ике Мурдейк , Модель интуиционистской нестандартной арифметики , Annals of Pure and Applied Logic, т. 73 (1995), стр. 37–51.

«Аннотация: В этой статье дается явное описание модели интуиционистской нестандартной арифметики, которая может быть формализована в конструктивной метатеории без аксиомы выбора».[1]

• Эрик Палмгрен, Развитие конструктивного нестандартного анализа , Бюллетень символической логики , том 4, номер 3 (1998), 233–272.

«Аннотация: Мы разрабатываем конструктивную версию нестандартного анализа, расширяя конструктивный анализ Бишопа бесконечно малыми методами. ...»[2]

• Юха Руоколайнен 2004, Конструктивный нестандартный анализ без актуальной бесконечности [3]