1. Tan'gun sinhwa ŭi wŏnhyŏngjŏk segyegwan kwa p'ungnyu chŏngsin -- 2. Wŏnhyo ŭi hwajaeng sasang kwa muaehaeng ŭi silch'ŏn -- 3. Ŭisang ŭi 'Hwaŏm ilsŭng pŏpkyedo' e nat'anan Hwaŏm sasang -- 4. Chinul ŭi Tono chŏmsu wa Chŏnghye ssangsu sasang -- 5. Sambong Chŏng To-jŏn ŭi Pulgyo paech'ŏk ŭi naeyong kwa sŏngkyŏk -- 6. T'oegye Yi Hwang ŭi ch'ŏrhakchŏk ipchang kwa 'Kyŏng' sasang -- 7. Kobong Ki Tae-sŭng ŭi hangmun chŏngsin kwa ch'ŏrhak sasang -- 8. Ugye Sŏng Hon ŭi (...) Tohakchŏk sam kwa hangmun yŏnwŏn -- 9. Yulgok Yi I ŭi Taedong sahoeron kwa ch'ŏrhakchŏk chihyang -- 10. Sŏgye Pak Se-dang ŭi Sirhakchŏk sayu ŭi kich'o -- 11. Namdang Han Wŏn-jin ŭi yŏksa insik kwa Chosŏn chunghwajuŭi -- 12. Sŏngdam Song Hwan-gi ŭi 'T'aegŭk tosŏl' haesŏk ŭi kibon ipchang -- 13. Kanjŏng Yi Nŭng-hwa 'Chosŏn Togyosa' ŭi haksulsachŏk ŭiŭi wa han'gye -- 14. Manhae Han Yong-un i pon chuch'e ŭi munje wa minjok chagyŏl ŭi wŏnch'ik -- purok. T'algyŏnggye sidae ŭi Han'guk ch'ŏrhak ŭi inmunhakchŏk ŭiŭi wa chŏnmang: Yulgok ŭi ch'ŏrhak. (shrink)

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.