%0 Journal Article
%T Priority Arguments and Epsilon Substitutions
%A Henry Towsner
%J Mathematics
%D 2008
%I arXiv
%X 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.
%U http://arxiv.org/abs/0812.3434v1