{"id":"arxiv/2606.24664","url":"https://arxiv.org/abs/2606.24664","tags":["math.LO"],"score":0,"title":"A Turing machine model for Kleene Type 2 recursion","domain":"math.LO","source":"arxiv","authors":["Philip D Welch"],"reviews":0,"subject":"math.LO","summary":"We give an account of Kleene's Type 2 recursion theory modelled on Turing machines. We apply this account to observe that the feedback computation of \\cite{AFL2020} is an example of Kleene Recursion in $^2\\mathsf{E}$. An application of Gandy Selection in the feedback setting solves questions there raised on uniformly finding indices for recursive unions {\\em etc.} of feedback semi-computable sets; further it allows for effective choice and other principles.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-23","reactions":{}}