功能解释和归纳定义
Functional interpretation and inductive definitions
摘要：
扩展哥德尔的\emph{Dialectica}解释，我们提供了一个功能的解释，经典理论的积极算术归纳定义，减少他们的理论有限型泛函定义使用超限递归良好的树。
英文摘要：
Extending Gödel's \emph{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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
