建設的な非標準分析

数学における建設的非標準分析は、 Moerdijk (1995)、Palmgren (1998)、Ruocolainen (2004)によって開発された、Abraham Robinsonの非標準分析のバージョンです。ルオライネンはこう書いている。

非標準解析の構成化の可能性は、パルムグレン（1997、1998、2001）によって研究された。そこで研究された構成的非標準解析のモデルは、モエルダイク（1995）の構成的非標準算術のモデルを拡張したものである。

• 建設的分析
• 滑らかな微小解析
• ジョン・レーン・ベル

• Ieke Moerdijk、「直観主義的非標準算術のモデル」 、Annals of Pure and Applied Logic、第73巻（1995年）、37 ～ 51ページ。

「概要：本論文は、選択公理を用いない構成的メタ理論で形式化可能な、直観主義的非標準算術のモデルを明示的に記述する。」

• Erik Palmgren、「構成的非標準解析の発展」、記号論理学紀要第4巻第3号（1998年）、233-272頁。

概要：本稿では、非標準解析の構成的バージョンを開発し、ビショップの構成的解析を無限小法で拡張する。…

• Juha Ruokolainen 2004、実際の無限大を使用しない建設的な非標準分析