NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS
C. T. Chong, WEI LI, Yue Yang · Bulletin of Symbolic Logic · 2014
Abstract We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey’s Theorem for Pairs.