MAT6020-01 (2017학년도 1학기)

2016-12-26 15:42:51  2016-12-26 15:45:37 
모델론 I 
과225  월2,3,수2 
 
김병한  이과대학 수학 
Science Hall 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://www3.nd.edu/~apillay/
Professor of Mathematics at Yonsei University
http://web.yonsei.ac.kr/bkim/
2017-03-02 2017-03-08
Review of 1st order logic.
Compactness theorem. 
 
(3.2.) Spring semester classes begin
(3.6. - 3.8.) Course add and drop period 
2017-03-09 2017-03-15
 
 
 
2017-03-16 2017-03-22
Basic notions in model theory. 
 
 
2017-03-23 2017-03-29
 
 
 
2017-03-30 2017-04-05
 
 
(4.3. - 4.5.) Course withdrawal period 
2017-04-06 2017-04-12
 
 
(4.7.) First third of the semester ends 
2017-04-13 2017-04-19
Morely`s theorem 
 
(4.17. - 4.22.) Midterm Examinations 
2017-04-20 2017-04-26
 
 
(4.17. - 4.22.) Midterm Examinations 
2017-04-27 2017-05-03
 
 
(5.3.) Buddha`s Birthday 
10  2017-05-04 2017-05-10
 
 
(5.5.) Children`s Day 
11  2017-05-11 2017-05-17
 
 
(5.13.) foundation day
(5.15.) Second third of the semester ends 
12  2017-05-18 2017-05-24
Baldwin-Lachlan Theorem 
 
 
13  2017-05-25 2017-05-31
 
 
 
14  2017-06-01 2017-06-07
 
 
(6.6.) Memorial Day 
15  2017-06-08 2017-06-14
Kim-Lachlan Theorem 
 
(6.8. - 6.21.) Self-study and Final Examinations 
16  2017-06-15 2017-06-21
 
 
(6.8. - 6.21.) Self-study and Final Examinations