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