Switch to: Citations

References in:

Fixed points in Peano arithmetic with ordinals

Annals of Pure and Applied Logic 60 (2):119-132 (1993)

Add references

You must login to add references.

(1 other version)Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.details We investigate a theory of Frege structures extended by the Myhill-Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60. Download Export citation Bookmark 4 citations
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.details In the first part we show why ordinals and ordinal notations are naturally connected with proof theoretical research. We introduce the program of ordinal analysis. The second part gives examples of applications of ordinal analysis. Download Export citation Bookmark 20 citations
(1 other version)Beweistheorie von KPN.Kurt Schutte & Gerhard Jager - 1983 - Journal of Symbolic Logic 48 (3):879.details Download Export citation Bookmark 4 citations
(1 other version)Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.details Download Export citation Bookmark 4 citations

1