6 results
Kai F. Wehmeier. Fragments of HA based on Σ1 -induction. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 37–49.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 532
- Print publication:
- December 2001
-
- Article
- Export citation
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic and the foundations of mathematics, vol. 109, NorthHolland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 171–196. - Solomon Feferman. Monotone inductive definitions. The L. E. J. Brouwer centenary symposium, Proceedings of the conference held in Noordwijkerhout, 8–13 June, 1981, edited by A. S. Troelstra and D. van Dalen, Studies in logic and the foundations of mathematics, vol. 110, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 77–89. - S. Feferman and G. Jäger. Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. The journal of symbolic logic, vol. 48 (1983), pp. 63–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
- Print publication:
- June 1994
-
- Article
- Export citation
Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1494
- Print publication:
- December 1989
-
- Article
- Export citation
Solomon Feferman. Systems of predicative analysis, II: representations of ordinals. The journal of symbolic logic, vol. 33 (1968), pp. 193–220. - Peter Aczel. Describing ordinals using functional of transfinite type. The journal of symbolic logic, vol. 37 (1972), pp. 35–47. - Jane Bridge. A simplification of the Bachmann method for generating large countable ordinals. The journal of symbolic logic, vol. 40 (1975), pp. 171–185. - W. Buchholz. Normalfunktionen und konstruktive Systeme von Ordinalzahlen. ISILC proof theory symposion, Dedicated to Kurt Schütte on the occasion of his 65th birthday, Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, edited by J. Diller and G. H. Müller, Lecture notes in mathematics, vol. 500, Springer-Verlag, Berlin, Heidelberg, and New York1975, pp. 4–25. - Wilfried Buchholz. Über Teilsysteme von . Archiv für mathematische Logik und Grundlagenforschung, vol. 18 no. 1–2 (1976), pp. 85–98. - Wilfried Buchholz and Kurt Schütte. Die Beziehungen zwischen den Ordinalzahlsystemen Σ und . Archiv für mathematische Logik und Grundlagenforschung, vol. 17 no. 3–4 (1976), pp. 179–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-877
- Print publication:
- September 1983
-
- Article
- Export citation
William E. Ritter. Notation systems and an effective fixed point property. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 390–395.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
- Print publication:
- December 1975
-
- Article
- Export citation
David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 339–361.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- June 1973
-
- Article
- Export citation