Article contents
Functional interpretation and inductive definitions
Published online by Cambridge University Press: 12 March 2014
Abstract
Extending Gödel's Dialectica interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite recursion on well-founded trees.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20151019084106084-0632:S0022481200003066_inline1.gif?pub-status=live)
- 6
- Cited by