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

В математике, конструктивно нестандартный анализ является разновидностью Abraham Robinson «s нестандартного анализа , разработанный Мордейк (1995), Палмгрено (1998), Руоколайнен (2004). Руоколайнен писал:

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

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

Ссылки

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