Article contents
Construction principle and transfinite induction up to ε0
Published online by Cambridge University Press: 09 April 2009
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1982
References
- 4
- Cited by