1. Ackerman, N., Freer, C., Lubarsky, R.: Feedback turing computability, and turing computability as feedback. In: Proceedings of LICS 2015, Kyoto, Japan (2015). Accessed
https://math.fau.edu/lubarsky/pubs.html
2. Lubarsky, R.: ITTMs with feedback. In: Schindler, R. (ed.) Ways of Proof Theory, pp. 341–354. Ontos (2010). Accessed
http://math.fau.edu/lubarsky/pubs.html
3. Lubarsky, R.:
$$\mu $$
-definable set of integers. J. Symbolic Log. 58(1), 291–313 (1993)
4. Moschovakis, Y.: Descriptive Set Theory. First edition North Holland (1987); second edition AMS (2009)
5. Richter, W., Aczel, P.: Inductive definitions and reflecting properties of admissible ordinals. In: Fenstad, H. (eds.) Generalized Recursion Theory, pp. 301–381. North-Holland (1974)