Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis
- 1 January 1970
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Applications of the Cut Elimination Theorem to Some Subsystems of Classical AnalysisPublished by Elsevier ,1970
- Iterated Inductive Definitions and Σ21-ACPublished by Elsevier ,1970
- A survey of proof theoryThe Journal of Symbolic Logic, 1968
- Consistency Proofs of Subsystems of Classical AnalysisAnnals of Mathematics, 1967
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964
- On the inductive definition with quantifiers of second orderJournal of the Mathematical Society of Japan, 1961
- Ordinal Diagrams II.Journal of the Mathematical Society of Japan, 1960
- An interpolation theorem in the predicate calculusPacific Journal of Mathematics, 1959