A general form of relative recursion

Details A general form of relative recursion A general form of relative recursion

2005-10-10

arxiv.org/abs/math/0510189v1

Mathematics

Logic

10 pages, see also http://www.math.uu.nl/people/jvoosten/realizability/relrec.ps.gz

Scientific paper

For every partial combinatory algebra (pca) $A$ and every partial
endofunction on $A$, a pca $A[f]$ is constructed such that in $A[f]$, the
function $f$ is representable by an element; a universal property of the
construction is formulated in terms of Longley's 2-category of pcas and
decidable applicative morphisms.

Affiliated with

Also associated with

No associations

Rating

A general form of relative recursion 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 A general form of relative recursion, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A general form of relative recursion will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-505901