서울시 서대문구 연세로 50
연세대학교 수학과 (03722)
전화: (02) 2123-2585
Fax: (02) 392-6634
논문 (2010 ~ )
'Notions around tree propery 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 on low simple theories.
A talk presented at BIRS, Canada, Feb. 2009.
Talk slides (revised): Recent development of model theory, Oleron, France, June 2011.
A talk presented at 16th Asian Logic Conference, Kazakhstan, June 2019.
- 2009 수리논리 여름학교: 집합론, 다이아몬드를 찾아서, 6월 18-22일, 대전 스파피아 호텔.
- 2010 Spring Model Theory School, 5월 16-18일, 연세대학교
- 2010 Model Theory Conference, 5월 19-22일, 연세대학교
- 튜링탄생 100주년 기념 강연회 및 계산이론 여름학교 2012, 6월 23-26일, 대전
- Classification Theory Workshop, 2014년 8월 6-9일, 대전
Here I want to introduce to you the Person who resolved the most serious problem in mankind. Please click here.