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