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
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]
- "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]