2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/213009Kreisel 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.Logic03F05, 03F30, 03D25text