Priority Arguments and Epsilon Substitutions

Simple item page
dc.creatorTowsner, Henry
dc.date2008-12-18
dc.date.accessioned2026-07-07T12:20:14Z
dc.date.available2026-07-07T12:20:14Z
dc.descriptionKreisel 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.
dc.identifierhttps://arxiv.org/abs/0812.3434
dc.identifierhttp://arxiv.org/abs/0812.3434
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/213009
dc.subjectLogic
dc.subject03F05, 03F30, 03D25
dc.titlePriority Arguments and Epsilon Substitutions
dc.typetext

Files

Collections

arXiv