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)|
|Through your library||Configure|
Similar books and articles
Chris Mortensen (1987). Inconsistent Nonstandard Arithmetic. Journal of Symbolic Logic 52 (2):512-518.
Richard A. Shore (2010). Reverse Mathematics: The Playground of Logic. Bulletin of Symbolic Logic 16 (3):378-402.
Kristina Engelhard & Peter Mittelstaedt (2008). Kant's Theory of Arithmetic: A Constructive Approach? Journal for General Philosophy of Science 39 (2):245 - 271.
J. Michael Dunn (1980). Quantum Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Stephen G. Simpson & Keita Yokoyama (2010). A Nonstandard Counterpart of WWKL. Notre Dame Journal of Formal Logic 52 (3):229-243.
Jeremy Avigad & Jeffrey Helzner (2002). Transfer Principles in Nonstandard Intuitionistic Arithmetic. Archive for Mathematical Logic 41 (6):581-602.
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 downloads7 ( #133,381 of 549,006 )
Recent downloads (6 months)1 ( #63,261 of 549,006 )
How can I increase my downloads?