Transfinite recursive progressions of axiomatic theories
- 1 September 1962
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 27 (3) , 259-316
- https://doi.org/10.2307/2964649
Abstract
Transfinite recursive progressions of axiomatic theories - Volume 27 Issue 3 - Solomon FefermanKeywords
This publication has 12 references indexed in Scilit:
- Beweistheorie. By K. Schütte. Pp. xii + 356. DM 45. 1960. (Springer-Verlag, Berlin).The Mathematical Gazette, 1962
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960
- La prédicativitéBulletin de la Société Mathématiques de France, 1960
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)American Journal of Mathematics, 1955
- Arithmetical predicates and function quantifiersTransactions of the American Mathematical Society, 1955
- Undecidable Theories. By A. Tarski, A. Mostowski. and R. M. Robinson. Pp. 98. 18s. 1953. Studies in Logic and the Foundations of Mathematics. (North Holland Co., Amsterdam)The Mathematical Gazette, 1954
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954
- On the Forms of the Predicates in the Theory of Constructive OrdinalsAmerican Journal of Mathematics, 1944
- Systems of Logic Based on Ordinals†Proceedings of the London Mathematical Society, 1939
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931