Functional interpretation and inductive definitions

Details Functional interpretation and inductive definitions Functional interpretation and inductive definitions

2008-02-13

arxiv.org/abs/0802.1938v4

Mathematics

Logic

minor corrections and changes

Scientific paper

Extending G\"odel'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.

Affiliated with

Also associated with

No associations

Rating

Functional interpretation and inductive definitions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Functional interpretation and inductive definitions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Functional interpretation and inductive definitions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-682046