Contents
Reviews
R. G. Jeroslow. Redundancies in the Hilbert–Bernays derivability conditions for Gödel's second incompleteness theorem. The journal of symbolic logic, vol. 38 (1973), pp. 359–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 875-876
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-877
-
- Article
- Export citation
Gaisi Takeuti and Mariko Yasugi. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 (1973), pp. 1–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 877-880
-
- Article
- Export citation
G. Metakides and A. Nerode. Recursively enumerable vector spaces. Annals of mathematical logic, vol. 11 (1977), pp. 147–171. - G. Metakides and A. Nerode. Effective content of field theory. Annals of mathematical logic, vol. 17 (1979), pp. 289–320. - G. Metakides and A. Nerode. Recursion theory on fields and abstract dependence. Journal of algebra, vol. 65 (1980), pp. 36–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-882
-
- Article
- Export citation
Richard Laver. On the consistency of Borel's conjecture. Acta mathematica, vol. 137 no. 3–4 (for 1976, pub. 1977), pp. 151–169. - James E. Baumgartner and Richard Laver. Iterated perfect-set forcing. Annals of mathematical logic, vol. 17 (1979), pp. 271–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 882-883
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, Bogotá, Colombia, 1981
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 884-892
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Singapore, 1981
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 893-897
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Philadelphia 1981
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 898-910
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 911
-
- Article
- Export citation
Front matter
JSL volume 48 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 48 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
-
- Article
-
- You have access
- Export citation