Applications of the Cut Elimination Theorem to Some Subsystems of Classical Analysis
- 1 January 1970
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Consistency Proofs of Subsystems of Classical AnalysisAnnals of Mathematics, 1967
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964
- Constructive versions of ordinal number classesTransactions of the American Mathematical Society, 1961
- Beweistheoretische Erfassung der unendlichen Induktion in der ZahlentheorieMathematische Annalen, 1950
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943