CHONG, LI, YANG, 2014. NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS 20.. https://doi.org/10.1017/bsl.2014.14