構成的非標準分析

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

非標準解析の構成化の可能性は、Palmgren (1997、1998、2001) によって研究されました。そこで研究された構成的非標準解析のモデルは、Moerdijk (1995) の構成的非標準算術モデルの拡張です。

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

• Ieke Moerdijk、「直観主義的非標準算術のモデル」、Annals of Pure and Applied Logic、vol. 73 (1995)、pp. 37–51。

「要約：この論文は、選択公理なしで構成的メタ理論で形式化できる直観主義的非標準算術のモデルを明示的に記述する。」[1]

• Erik Palmgren、「構成的非標準分析の開発」、Bulletin of Symbolic Logic Volume 4、Number 3 (1998)、233–272。

「要約：我々は、ビショップの構成的解析を無限小法で拡張し、非標準解析の構成的バージョンを開発する。」[2]

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