Konstruktywna analiza niestandardowa
Wygląd
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 | edytuj kod]
- ↑ 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 | edytuj kod]
- 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.