Priority Arguments and Epsilon Substitutions

Details Priority Arguments and Epsilon Substitutions Priority Arguments and Epsilon Substitutions

2008-12-18

arxiv.org/abs/0812.3434v1

Mathematics

Logic

Scientific paper

Kreisel has observed that the termination proof for Hilbert's
epsilon-substitution method bears a resemblance to the priority arguments used
in recursion theory. We make this precise by proving the termination using a
framework for priority arguments due to Lerman and Lempp.

Affiliated with

Also associated with

No associations

Rating

Priority Arguments and Epsilon Substitutions 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 Priority Arguments and Epsilon Substitutions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Priority Arguments and Epsilon Substitutions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-172581