Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- 1 January 1968
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 14 (7-12), 97-142
- https://doi.org/10.1002/malq.19680140702
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- A hierarchy of formulas in set theoryMemoirs of the American Mathematical Society, 1965
- 1 — Consistency and faithful interpretationsArchive for Mathematical Logic, 1962
- The Ω-consistency of ramified analysisArchive for Mathematical Logic, 1962
- Principles of partial reflection in the set theories of Zermelo and AckermannPacific Journal of Mathematics, 1961
- Axiom schemata of strong infinity in axiomatic set theoryPacific Journal of Mathematics, 1960
- Zur Theorie der konstruktiven WohlordnungenMathematische Annalen, 1954
- Some concepts concerning formal systems of number theoryMathematische Zeitschrift, 1952
- Beweistheoretische Erfassung der unendlichen Induktion in der ZahlentheorieMathematische Annalen, 1950
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950
- Untersuchungen ber das logische Schlie en. IIMathematische Zeitschrift, 1935