Autonomous Transfinite Progressions and the Extent of Predicative Mathematics
- 1 January 1968
- book chapter
- Published by Elsevier in Studies in Logic and the Foundations of Mathematics
- Vol. 52, 121-135
- https://doi.org/10.1016/s0049-237x(08)71190-x
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A survey of proof theoryThe Journal of Symbolic Logic, 1968
- Systems of predicative analysis, II: Representations of ordinalsThe Journal of Symbolic Logic, 1968
- Lectures on proof theoryPublished by Springer Nature ,1968
- Predicative provability in set theoryBulletin of the American Mathematical Society, 1966
- Persistent and invariant formulas relative to theories of higher orderBulletin of the American Mathematical Society, 1966
- An interpolation theorem for denumerably long formulasFundamenta Mathematicae, 1965
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964
- Transfinite recursive progressions of axiomatic theoriesThe Journal of Symbolic Logic, 1962
- The Axiom of Choice and the Class of Hyperarithmetic FunctionsIndagationes Mathematicae, 1962
- La prédicativitéBulletin de la Société Mathématiques de France, 1960