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

2019-06-26 18:01:15  2019-08-30 14:47:58 
모델론1 
과S321  화4,목3,4 
 
김병한  이과대학 수학 
SciH246  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
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/
2019-09-02 2019-09-08
Review of 1st order logic.
Compactness theorem. 
 
 
2019-09-09 2019-09-15
 
 
 
2019-09-16 2019-09-22
Basic notions in model theory. 
 
 
2019-09-23 2019-09-29
 
 
 
2019-09-30 2019-10-06
 
 
 
2019-10-07 2019-10-13
 
 
 
2019-10-14 2019-10-20
prime and saturated models 
 
 
2019-10-21 2019-10-27
 
 
 
2019-10-28 2019-11-03
 
 
 
10  2019-11-04 2019-11-10
omega-categorical theories 
 
 
11  2019-11-11 2019-11-17
 
 
 
12  2019-11-18 2019-11-24
 
 
 
13  2019-11-25 2019-12-01
quatifier elimination and its applications 
 
 
14  2019-12-02 2019-12-08
 
 
 
15  2019-12-09 2019-12-15
model completion 
 
 
16  2019-12-16 2019-12-22