Strict reverse mathematics draft
| Abstract |
NOTE: This is an expanded version of my lecture at the special session on reverse mathematics, delivered at the Special Session on Reverse Mathematics held at the Atlanta AMS meeting, on January 6, 2005.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Edit this record
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
On the Indecomposability of $\Omega^{N}$.Jared R. Corduan & François G. Dorais - 2012 - Notre Dame Journal of Formal Logic 53 (3):373-395.
Program Verification and Functioning of Operative Computing Revisited: How About Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Review of M. Giaquinto, The Search for Certainty. [REVIEW]Carlo Cellucci - 2003 - European Journal of Philosophy 11 (3):420-423.
Reverse Mathematics and Uniformity in Proofs Without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2011 - Notre Dame Journal of Formal Logic 52 (2):149-162.
Analytics
Added to PP index
2010-12-22
Total views
139 ( #59,166 of 2,285,434 )
Recent downloads (6 months)
1 ( #841,072 of 2,285,434 )
2010-12-22
Total views
139 ( #59,166 of 2,285,434 )
Recent downloads (6 months)
1 ( #841,072 of 2,285,434 )
How can I increase my downloads?
Downloads
