Konstruktywna analiza niestandardowa
Konstruktywna analiza niestandardowa – w matematyce wersja analizy niestandardowej Abrahama Robinsona rozwijana przez Moerdijka (1995), Palmgrena (1998) i Ruokolainena (2004). W słowach Ruokolainena:
- Możliwość konstruktywizacji analizy niestandardowej była badana przez Palmgrena (1997, 1998, 2001). Badany tutaj model konstruktywnej analizy niestandardowej jest rozszerzeniem modelu Moerdijka (1995) dla konstruktywnej arytmetyki niestandardowej.[a]
Uwagi edytuj
- ↑ Cyt. „The possibility of constructivization of nonstandard analysis was studied by Palmgren (1997, 1998, 2001). The model of constructive nonstandard analysis studied there is an extension of Moerdijk’s (1995) model for constructive nonstandard arithmetic.”
Bibliografia edytuj
- Ieke Moerdijk. A model for intuitionistic nonstandard arithmetic. „Annals of Pure and Applied Logic”. 73, s. 37–51, 1995.
- Erik Palmgren. Developments in Constructive Nonstandard Analysis. „Bull. Symbolic Logic”. 4 (3), s. 233–272, 1998.
- Juha Ruokolainen: Constructive Nonstandard Analysis Without Actual Infinity. Helsinki: 2004. ISBN 952-91-7140-4.