Priority Arguments and Epsilon Substitutions
Logic
2008-12-19 v1
Abstract
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.
Keywords
Cite
@article{arxiv.0812.3434,
title = {Priority Arguments and Epsilon Substitutions},
author = {Henry Towsner},
journal= {arXiv preprint arXiv:0812.3434},
year = {2008}
}