优先级参数和Epperiment替换
Priority Arguments and Epsilon Substitutions
摘要：
Kreisel观察到希尔伯特的ε-替换方法的终止证明与递归论中使用的优先论证相似。我们证明这一点精确的终止使用的框架，由于Lerman和Lempp的优先参数。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
