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.
Papers (2010 - )
'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 "Independence over arbitrary sets in NSOP1 theories."
'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.
'Transitivity, lowness, and ranks in NSOP1 theories' (with A. Chernikov and N. Ramsey), in preparation. We study consequences of transitivity of Kim-independence over sets in NSOP1 theories. In particular we show that Lascar types are strong types in low NSOP1 theories with nonforking existence, extending S. Buechler's result in simple theories.
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 talk presented at CMO-BIRS, Mexico, Oct. 2018.
A course lecture on basic Set Theory.
A course lecture on basic Mathematical Logic.
A course lecture on Gödel's Incompleteness Theorems.
Meetings on Mathematical Logic in Korea
- Logic Summer School; Set Theory, a passage to the diamond, Spapia Hotel, Daejeon, Korea, June 18-22, 2009.
- 2010 Spring Model Theory School, May 16-18, Yonsei Univ., Seoul, Korea
- 2010 Model Theory Conference, May 19-22, Yonsei Univ., Seoul, Korea
- Turing Centenary and Theory of Computation Summer School, Daejeon, Korea, June 23-26, 2012
- Classification Theory Workshop, Daejeon, Korea, August 6-9, 2014
Here I want to introduce to you the Person who resolved the most serious problem in mankind. Please click here.