En matemáticas, el análisis no estándar constructivo es una versión de Abraham Robinson 's análisis no estándar , desarrollado por Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen escribió:
- Palmgren (1997, 1998, 2001) estudió la posibilidad de construir un 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 la aritmética constructiva no estándar.
Ver también
Referencias
- Ieke Moerdijk , Un modelo de 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 la elección". [1]
- Erik Palmgren , Desarrollos en análisis constructivo no estándar , Bull. Simbólico Lógica 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]