Second-order non-nonstandard analysis
Studia Logica 74 (3):399 - 426 (2003)
Abstract
Following [3], we build higher-order models of analysis resembling the frameworks of nonstandard analysis. The models are entirely canonical, constructed without Choice. Weak transfer principles are developed and the models are applied to topology, graph theory, and measure theory. A Loeb-like measure is constructed.Author's Profile
Reprint years
2004
DOI
10.1023/a:1025119317177
My notes
Similar books and articles
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.
Set theoretic properties of Loeb measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Analytics
Added to PP
2009-01-28
Downloads
27 (#433,402)
6 months
1 (#449,844)
2009-01-28
Downloads
27 (#433,402)
6 months
1 (#449,844)
Historical graph of downloads
