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

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

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

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

Рекомендации

  • Иеке Мурдейк, Модель интуиционистской нестандартной арифметики, Анналы чистой и прикладной логики, т. 73 (1995), стр. 37–51.
«Аннотация: в этой статье дается явное описание модели интуиционистской нестандартной арифметики, которая может быть формализована в конструктивной метатеории без аксиомы выбора».[1]
  • Эрик Палмгрен, Разработки в области конструктивного нестандартного анализа, Бык. Символическая логика, том 4, номер 3 (1998), 233–272.
"Аннотация: Мы разрабатываем конструктивную версию нестандартного анализа, расширяющую Епископ Конструктивный анализ бесконечно малыми методами. ... "[2]
  • Юха Руоколайнен 2004, Конструктивный нестандартный анализ без актуальной бесконечности[3]