Department of Mathematics
50 Yonsei-ro, Seodaemun-gu
Seoul 03722, South Korea
Telephone: (02) 2123-2585
Fax: (02) 392-6634
I am a Professor of Mathematics at Yonsei University.
'Notions around tree property 1' (with H-J. Kim), Annals of Pure and Applied Logic, 162 (2011) 698-709. Erratum: Kim-independence in each example of Example 0.1 satisfies all the basic axioms and type-amalgamation of Lascar types, except base monotonicity. See the paper below "NSOP1 theories and 3-amalgamation of Lascar types."
'Tree indiscernibilities, revisited' (with H-J. Kim and L. Scow), Archive for Math. Logic, 53 (2014) 211-232.
'The Lascar group, and the strong types of hyperimaginaries', Notre Dame Journal of Formal Logic, 54 (2013) 497-507.
'A classification of 2-chains having 1-shell boundaries in rosy theories' (with SunYoung Kim and Junguk Lee), J. of Symbolic Logic, 80 (2015) 322-340. Erratum - The fixed strong type p should be a type of an algebraically closed tuple (over its parameter), since each vertex of simplices in p are defined to be an algebraically closed set.
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
- Logic Summer School; Set Theory, a passage to the diamond, Spapia Hotel, Daejeon, Korea, June 18-22, 2009.
Here I want to introduce to you the Person who resolved the most serious problem in mankind. Please click here.