김병한

서울시 서대문구 신촌동 134
연세대학교 수학과 (120-749)

전화: (02) 2123-2585
Fax: (02) 392-6634
E-mail: bkim(at)yonsei.ac.kr

Brief CV

최근 논문

'Recovering the hyperdefinable group action in the group configuration theorem', J. of Symbolic Logic, 75, (2010) 12-24.
'Geometric simplicity theory', in Proceedings of the 10th Asian Logic Conference, World Scientific, (2010) 227-262.
'Amalgamation functors and boundary properties in simple theories' (with J. Goodrick and A. Kolesnikov), will appear in Israel Journal of Math.

'Amalgamation functors and homology groups in model theory' (with J. Goodrick and A. Kolesnikov), submitted.

'Notions around tree propery 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.

'Tree indiscernibilities, revisited' (with H.-J. Kim and L. Scow), submitted.

강연 파일

Geometric simplicity theory I.

Tutorial lectures at 10th Asian Logic Conference, Univ. of Kobe, Japan, Sep. 2008.

NTP1 theories.

A talk presented at BIRS, Canada, Feb. 2009.

Amalgamation functors and homology groups.

Talk slides (revised): Recent development of model theory, Oleron, France, June 2011.

강의록

집합론 강의록.

수리논리학 강의록.

괴델의 불완전성 정리 강의록.

한글 원고

올바른 수학을 찾아서. (2003)

괴델과 그의 불완전성 정리. (2006)

수리논리 학술회의

왜 괴델인가? (강연록): 괴델탄생 백주년 기념 학술대회, 2006년 4월 15일, 연세대학교

2009 수리논리 여름학교: 집합론, 다이아몬드를 찾아서, 6월 18-22일, 대전 스파피아 호텔.

2010 Spring Model Theory School, 5월 16-18일, 연세대학교.

2010 Model Theory Conference, 5월 19-22일, 연세대학교.

Here I want to introduce to you the Person who resolved the most serious problem in mankind. Please click here.