Abstract
Our aim in this chapter is the proof-theoretic treatment of Π 11 -Analysis following G. Takeuti [4]. In §§24–26 starting from normal functions we present an extended constructive system of ordinals with the necessary properties for this and in §29 we give a constructive proof of wellordering for this system. In §27 and §28 we carry out a constructive consistency proof for a formal and for a semiformal system of Π 11 -Analysis, using transfinite induction on the system or ordinal terms of §25.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schütte, K. (1977). Higher Ordinals and Systems of Π 11 -Analysis. In: Proof Theory. Grundlehren der mathematischen Wissenschaften, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66473-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-66473-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-66475-5
Online ISBN: 978-3-642-66473-1
eBook Packages: Springer Book Archive