5 results
A note on the ordinal analysis of KPM
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 1-9
-
- Chapter
- Export citation
Relating ordinals to proofs in a perspicuous way
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 37-59
-
- Chapter
- Export citation
Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 (1998), pp. 113–159.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 478-479
- Print publication:
- December 2000
-
- Article
- Export citation
Heindorf Lutz. Elementare Beweistheorie. Wissenschaftsverlag B. I., Mannheim, Leipzig, Wien, und Zürich, 1994, 240 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1051-1052
- Print publication:
- September 1996
-
- Article
- Export citation
W. A. Howard. A system of abstract constructive ordinals. The journal of symbolic logic, vol. 37 (1972), pp. 355–374.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- March 1985
-
- Article
- Export citation