The strength of nonstandard analysis

The Strength of Nonstandard Analysis

Volumn , Issue , 2007, Pages 3-26

  Keisler, H Jerome ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84865653676     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-211-49905-4_1     Document Type: Chapter

References (9)

1. J. AviGAD, Weak theories of nonstandard arithmetic and analysis, to appear in Reverse Mathematics, ed. by S.G. Simpson.
2. C.C. CHANG and H.J. KEISLER, Model Theory, Third Edition, Elsevier 1990.
3. S. FEFERMAN. Theories of finite type related to mathematical practice, in Handbook of Mathematical Logic, ed. by J. Barwise, 1977.
4. K. GÖDEL. "Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes", Dialectica, 12 (1958) 280-287.
5. C.W. HENSON, M. KAUFMANN and H.J. KEISLER, "The strength of proof theoretic methods in arithmetic", J. Symb. Logic, 49 (1984) 1039-1058.
6. C.W. HENSON and H.J. KEISLER, "The strength of nonstandard analysis", J. Symb. Logic, 51 (1986) 377-386.
7. U. KOHLENBACH, Higher order reverse mathematics, to appear in Reverse Mathematics, ed. by S.G. Simpson.
8. S.G. SIMPSON, Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic, Springer-Verlag, 1999.
9. A.S. TROELSTRA and D. VAN DALEN, Constructivism in Mathematics. An Introduction, Volume II, North-Holland, 1988.