MAT6010-01 (2020학년도 2학기)

2020-06-30 15:19:35  2020-08-25 15:13:13 
집합론 I 
과B101  화4,목3,4 
 
김병한  이과대학 수학 
SciH246  2585 
bkim@yonsei.ac.kr  office hour by appointments
 
Graduate students who understand formal logic
We will prove the independence of continuum hypothesis using Cohen`s argument 
of Forcing.
Mathematical Logic
Lecture (Online/None face-to-face), 
Home Work
Home Work
K. Kunen, Set Theory
Reference: Thomas Jech, Set Theory
http://web.yonsei.ac.kr/bkim/
We will prove the independence of continuum hypothesis using Cohen`s argument 
of Forcing.
2020-09-01 2020-09-07
ordinals 
 
(9.1.) Fall semester classes begin
(9.3. - 9.7.) Course add and drop period 
2020-09-08 2020-09-14
cardinal 
 
 
2020-09-15 2020-09-21
 
 
 
2020-09-22 2020-09-28
infinite conbinatorics 
 
 
2020-09-29 2020-10-05
 
 
(9.30. - 10. 2.) Chuseok Holidays 
2020-10-06 2020-10-12
well founded sets 
 
(10.6. - 10.8.) Course Withdrawal
(10. 9.) Hangul Proclamation Day 
2020-10-13 2020-10-19
 
 
 
2020-10-20 2020-10-26
Forcing 
 
(10.20. - 10.26.) Midterm Examinations 
2020-10-27 2020-11-02
 
 
 
10  2020-11-03 2020-11-09
Generic extensions 
 
 
11  2020-11-10 2020-11-16
 
 
 
12  2020-11-17 2020-11-23
 
 
 
13  2020-11-24 2020-11-30
Independence of CH 
 
 
14  2020-12-01 2020-12-07
 
 
 
15  2020-12-08 2020-12-14
 
 
(12.8. - 12.21.) Self-study and Final Examinations 
16  2020-12-15 2020-12-21
 
 
(12.8. - 12.21.) Self-study and Final Examinations