Abstract
In this chapter we present an approach to the classical results due to Gentzen. In 1936, Gentzen proved consistency of arithmetic using transfinite induction up to $$\varepsilon _0$$. We show how to prove transfinite induction up to any $$\alpha
Cite
CITATION STYLE
APA
Kotlarski, H. (2019). Transfinite Induction. In Trends in Logic (Vol. 51, pp. 73–87). Springer Science and Business Media B.V. https://doi.org/10.1007/978-3-030-28921-8_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free