Byunghan Kim

Mailing Address:
Department of Mathematics
Yonsei University
134 Shinchon-dong, Seodaemun-gu
Seoul 120-749, South Korea

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

I am a Professor of Mathematics (BK21 home-page) at Yonsei University.

Brief CV

Recent papers

'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 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.

'Tree indiscernibilities, revisited' (with H-J. Kim and L. Scow), will appear in Archive for Math. Logic.

'The Lascar group, and the strong types of hyperimaginaries', will appear in Notre Dame Journal of Formal Logic.

Slides

Geometric simplicity theory I.

Tutorial lectures: 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.

Lecture Notes

Set Theory Class Note.

A course lecture on basic Set Theory.

Mathematical Logic Class Note.

A course lecture on basic Mathematical Logic.

Complete proofs of Gödel's Incompleteness Theorems.

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.

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.

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.