Ordinal machines and admissible recursion theory

Peter Koepke, Benjamin Seyfferth. Ordinal machines and admissible recursion theory. Annals of Pure and Applied Logic, 160(3):310-318, 2009. [doi]

Abstract

Abstract is missing.