MAT7019-01 (2021학년도 2학기)

2021-06-24 16:25:25  2021-08-25 13:52:15 
모델론1 
실시간온라인  화4,목3,4 
 
김병한  이과대학 수학 
Sci.Hall 246  2123-2585 
bkim@yonsei.ac.kr
 
Beginning graduate students or advanced undergraduate students
Introducing basic model theory
Mathematical Logic (one semester course)
or you may concurrently take (or audit) undergraduate mathematical logic 
course that I teach at the same semeter.
Lecture and presentation
Homework 3-4 times and presentations
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/
Bong Hun Lee,  delta7@yonsei.ac.kr
2021-08-30 2021-09-05
Review of 1st order logic.
Compactness theorem. 
 
(8.30.) Fall semester classes begin
(9.3. - 9.7.) Course add and drop period 
2021-09-06 2021-09-12
 
 
(9.3. - 9.7.) Course add and drop period 
2021-09-13 2021-09-19
Basic notions in model theory. 
 
 
2021-09-20 2021-09-26
 
 
(9.20. - 9. 22.) Chuseok Holidays 
2021-09-27 2021-10-03
 
 
(10.3.) National Foundation Day 
2021-10-04 2021-10-10
 
 
(10.4. - 10.6.) Course withdrawal period
(10.9.) Hangul Proclamation Day 
2021-10-11 2021-10-17
prime and saturated models 
 
 
2021-10-18 2021-10-24
 
 
(10.18. - 10.22.) Midterm Examinations 
2021-10-25 2021-10-31
 
 
 
10  2021-11-01 2021-11-07
omega-categorical theories 
 
 
11  2021-11-08 2021-11-14
 
 
 
12  2021-11-15 2021-11-21
 
 
 
13  2021-11-22 2021-11-28
quatifier elimination and its applications 
 
 
14  2021-11-29 2021-12-05
 
 
 
15  2021-12-06 2021-12-12
model completion 
 
(12.6. - 12. 10.) Self-study period 
16  2021-12-13 2021-12-19
 
 
(12.13. - 12.17.) Final Examinations