Functional interpretation and inductive definitions

Simple item page
dc.creatorAvigad, Jeremy
dc.creatorTowsner, Henry
dc.date2008-02-13
dc.date2009-02-17
dc.date.accessioned2026-07-07T12:41:55Z
dc.date.available2026-07-07T12:41:55Z
dc.descriptionExtending 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.
dc.descriptionminor corrections and changes
dc.identifierhttps://arxiv.org/abs/0802.1938
dc.identifierhttp://arxiv.org/abs/0802.1938
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/219902
dc.subjectLogic
dc.subject03F25; 03F10; 03D70
dc.titleFunctional interpretation and inductive definitions
dc.typetext

Files

Collections

arXiv