MAT6020-01 (2014학년도 2학기)

2014-06-23 12:45:21  2014-08-29 14:19:10 
모델론 I 
과225/과B118  월2/수2,3 
 
김병한  이과대학 수학 
과 246  2585 
bkim@yonsei.ac.kr
 
Beginning graduate students or advanced undergraduate students
Introducing basic model theory
Mathematical Logic (1 semester course)
or you may concurrently take (or audit) undergraduate mathematical logic 
course that I teach at the same semeter.
Lecture and presentation
Homework
Lecture note will be used.
References: 
D. Marker `Model Theory: An Introduction`.
W. Hodges `Model Theory`.
A. Pillay Lecture note `Model Theory` at
http://www.math.uiuc.edu/People/pillay.html
Professor of Mathematics at Yonsei University
http://web.yonsei.ac.kr/bkim/
2014-09-01 2014-09-07
Review of 1st order logic.
Compactness theorem. 
 
(9.1) Fall semester classes begin (9.3 - 9.5) Course add and drop period 
2014-09-08 2014-09-14
 
 
(9.7 - 9.10) Korean Thanksgiving Day 
2014-09-15 2014-09-21
Basic notions in model theory. 
 
 
2014-09-22 2014-09-28
 
 
 
2014-09-29 2014-10-05
 
 
(10.3) National Foundation day 
2014-10-06 2014-10-12
 
 
(10.6 - 10.8) Course withdrawal period ,(10.8) First third of the semester ends, (10.9) Hangul Day 
2014-10-13 2014-10-19
Morely`s theorem 
 
(10.16 - 10.22) Midterm examinations 
2014-10-20 2014-10-26
 
 
(10.16 - 10.22) Midterm examinations 
2014-10-27 2014-11-02
 
 
 
10  2014-11-03 2014-11-09
 
 
 
11  2014-11-10 2014-11-16
 
 
(11.14) Two thirds of the semester ends 
12  2014-11-17 2014-11-23
Baldwin-Lachlan Theorem 
 
 
13  2014-11-24 2014-11-30
 
 
 
14  2014-12-01 2014-12-07
 
 
 
15  2014-12-08 2014-12-14
Kim-Lachlan Theorem 
 
(12.8 - 12.20) Self-Study and Final examinations Period 
16  2014-12-15 2014-12-21
 
 
(12.8 - 12.20) Self-Study and Final examinations Period