Bulletin of Symbolic Logic 12 (1):100-125 (2006)
|Abstract||We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper  we introduced saturation principles in nonstandard arithmetic which are equivalent in strength to strong choice axioms in second order arithmetic. This paper studies principles which are equivalent in strength to weaker theories in second order arithmetic|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Chris Mortensen (1987). Inconsistent Nonstandard Arithmetic. Journal of Symbolic Logic 52 (2):512-518.
Jeremy Avigad & Jeffrey Helzner (2002). Transfer Principles in Nonstandard Intuitionistic Arithmetic. Archive for Mathematical Logic 41 (6):581-602.
Stephen G. Simpson & Keita Yokoyama (2010). A Nonstandard Counterpart of WWKL. Notre Dame Journal of Formal Logic 52 (3):229-243.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Kristina Engelhard & Peter Mittelstaedt (2008). Kant's Theory of Arithmetic: A Constructive Approach? [REVIEW] Journal for General Philosophy of Science 39 (2):245 - 271.
Richard A. Shore (2010). Reverse Mathematics: The Playground of Logic. Bulletin of Symbolic Logic 16 (3):378-402.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Added to index2009-01-28
Total downloads8 ( #131,747 of 722,929 )
Recent downloads (6 months)1 ( #61,087 of 722,929 )
How can I increase my downloads?