Análisis constructivo no estándar

En matemáticas, el análisis no estándar constructivo es una versión del análisis no estándar de Abraham Robinson , desarrollado por Moerdijk (1995), Palmgren (1998) y Ruokolainen (2004). Ruokolainen escribió:

La posibilidad de constructivización del análisis no estándar fue estudiada por Palmgren (1997, 1998, 2001). El modelo de análisis no estándar constructivo estudiado allí es una extensión del modelo de Moerdijk (1995) para la aritmética no estándar constructiva.

• Análisis constructivo
• Análisis infinitesimal suave
• Campana de John Lane

• Ieke Moerdijk , Un modelo para la aritmética no estándar intuicionista , Annals of Pure and Applied Logic, vol. 73 (1995), págs. 37–51.

"Resumen: Este artículo proporciona una descripción explícita de un modelo para la aritmética no estándar intuicionista, que puede formalizarse en una metateoría constructiva sin el axioma de elección".[1]

• Erik Palmgren, Desarrollos en análisis constructivo no estándar , Boletín de lógica simbólica , volumen 4, número 3 (1998), 233–272.

"Resumen: Desarrollamos una versión constructiva del análisis no estándar, extendiendo el análisis constructivo de Bishop con métodos infinitesimales. ..."[2]

• Juha Ruokolainen 2004, Análisis constructivo no estándar sin infinito real [3]