In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences Ii. Kluwer Academic Publishers. pp. 63--87 (2003)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,133
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Dirac Delta Function in Two Settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Reverse Mathematics of Separably Closed Sets.Jeffry L. Hirst - 2006 - Archive for Mathematical Logic 45 (1):1-2.
Reverse Mathematics of Prime Factorization of Ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.
Derived Sequences and Reverse Mathematics.Jeffry L. Hirst - 1993 - Mathematical Logic Quarterly 39 (1):447-453.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Reverse Mathematics and a Ramsey-Type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
Reverse Mathematics and Grundy Colorings of Graphs.James H. Schmerl - 2010 - Mathematical Logic Quarterly 56 (5):541-548.
Reverse Mathematics and Infinite Traceable Graphs.Peter Cholak, David Galvin & Reed Solomon - 2012 - Mathematical Logic Quarterly 58 (1-2):18-28.
Graph Coloring and Reverse Mathematics.James H. Schmerl - 2000 - Mathematical Logic Quarterly 46 (4):543-548.

Analytics

Added to PP index
2014-01-27

Total views
6 ( #1,101,483 of 2,448,218 )

Recent downloads (6 months)
1 ( #451,050 of 2,448,218 )

How can I increase my downloads?

Downloads

My notes