Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
\({\mathscr {T}}\) is \(\varDelta ^{0}_{2}\) and the left-most path \({\mathscr {P}}\) is \(\varDelta ^{0}_{2}\) in \({\mathscr {T}}\). Hence \({\mathscr {P}}\) is \(\varDelta ^{0}_{3}\).
- 2.
We can restrict C to \(\varPi ^{0}_{2}\)-formulas.
Reference
Hájek, P., Pudlák, P.: Metamathematics of first-order arithmetic. Perspectives in Mathematical Logic. Springer, Berlin (1993)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Arai, T. (2020). Answers to Exercises. In: Ordinal Analysis with an Introduction to Proof Theory. Logic in Asia: Studia Logica Library. Springer, Singapore. https://doi.org/10.1007/978-981-15-6459-8_7
Download citation
DOI: https://doi.org/10.1007/978-981-15-6459-8_7
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-6458-1
Online ISBN: 978-981-15-6459-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)