Part of the Lecture Notes in Mathematics book series (LNM, volume 70)
The Π11-comprehension schema and ω-rules
KeywordsFunction Symbol Recursive Function Mathematical Induction Logical Inference Ordinal Diagram
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- (2).A. Kino, On provably recursive functions and ordinal recursive functions, to appear in J. Math. Soc. Japan.Google Scholar
- (4).K. Schütte, Beweistheorie, Springer, 1960.Google Scholar
- (7).G. Takeuti and M. Yasugi, Reflection principles of subsystems of analysis, to appear.Google Scholar
© Springer-Verlag 1968