Second order arithmetic and autonomous computability. Gajlit, E. V. — 2003 Sibirskij Matematicheskij Zhurnal