Construction principle and transfinite induction up to ε0
Mariko Yasugi · Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics · 1982
Abstract What we cail here the “construction principle” is a principle on the ground of which some functionals can be defined; the domain and the range of such a functional consist of some “computable” functionals of various finite types. The principle above is considered here as the basis of the functional interpretation of transfinite induction up to ε0. It is concretely repesented as the “term-forms”, where every term-form is shown to be “computable” in some sense.