Análisis constructivo no estándar.

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

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

Ver también

• Análisis constructivo
• Análisis infinitesimal suave
• John Lane Bell

Referencias

• Ieke Moerdijk , Un modelo para la aritmética intuicionista no estándar , 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 de aritmética intuicionista no estándar, 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, ampliando el análisis constructivo de Bishop con métodos infinitesimales...."[2]

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