Department of Mathematics
134 Shinchon-dong, Seodaemun-gu
Seoul 120-749, South Korea
Telephone: (02) 2123-2585
Fax: (02) 392-6634
I am a Professor of Mathematics (BK21 home-page) at Yonsei University.
'Recovering the hyperdefinable group action in the group configuration theorem', J. of Symbolic Logic, 75, (2010) 12-24.
'Notions around tree property 1' (with H-J. Kim), Annals of Pure and Applied Logic, 162, (2011) 698-709. Erratum - The independence relation suggested for Example 0.1(1) does not satisfy the extension axiom. But still the example seems mock stable via a different independence relation suggested by H. Adler.
Tutorial lectures: 10th Asian Logic Conference, Univ. of Kobe, Japan, Sep. 2008.
A talk presented at BIRS, Canada, Feb. 2009.
Talk slides (revised): Recent development of model theory, Oleron, France, June 2011.
A course lecture on basic Set Theory.
A course lecture on basic Mathematical Logic.
A course lecture on Gödel's Incompleteness Theorems.
Recent Meetings in Korea
For more on Simplicity Theory, see Frank O. Wagner, `Simple theories', Mathematics and its applications 503, Kluwer Academic Publishers, Dordrecht, NL, 2000.
Here I want to introduce to you the Person who resolved the most serious problem in mankind. Please click here.