On the definability of functionals in Gödel's theory T

Details On the definability of functionals in Gödel's theory T On the definability of functionals in Gödel's theory T

2010-11-29

arxiv.org/abs/1011.6353v2

Mathematics

Logic

13 pages, 0 figures; sections 4-7 reorganized and revised, other additions and changes

Scientific paper

Godel's theory T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0, the successor function S, and the operator R_tau for primitive recursion on objects of type tau. It is known that the functions from non-negative integers to non-negative integers that can be defined in this theory are exactly the

Affiliated with

Also associated with

No associations

Rating

On the definability of functionals in Gödel's theory T 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 On the definability of functionals in Gödel's theory T, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the definability of functionals in Gödel's theory T will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-443558