MAT6010-01 (2015학년도 1학기)

2014-12-22 17:16:42  2015-02-24 13:22:06 
집합론 I 
과225  화2,목2,3 
 
김병한  이과대학 수학 
Sci. Bldg 246  2123-2585 
bkim@yonsei.ac.kr
 
Graduate students who understand formal logic
We will prove the independence of continuum hypothesis using Cohen`s argument 
of Forcing.
Mathematical Logic
Lecture, Home Work
Home Work
K. Kunen, Set Theory
http://web.yonsei.ac.kr/bkim/
We will prove the independence of continuum hypothesis using Cohen`s argument 
of Forcing.
2015-03-02 2015-03-08
ordinals 
 
(3.2) Spring semester classes begin (3.4 - 3.6) Course add and drop period 
2015-03-09 2015-03-15
cardinal 
 
 
2015-03-16 2015-03-22
 
 
 
2015-03-23 2015-03-29
infinite conbinatorics 
 
 
2015-03-30 2015-04-05
 
 
(4.1 - 4.3) Course withdrawal period 
2015-04-06 2015-04-12
well founded sets 
 
(4.8) First third of the semester ends 
2015-04-13 2015-04-19
 
 
(4.16 - 4.22) Midterm examinations 
2015-04-20 2015-04-26
Forcing 
 
(4.16 - 4.22) Midterm examinations 
2015-04-27 2015-05-03
 
 
 
10  2015-05-04 2015-05-10
Generic extensions 
 
(5.5)Children`s Day (5.9) foundation day 
11  2015-05-11 2015-05-17
 
 
(5.15) Two thirds of the semester ends 
12  2015-05-18 2015-05-24
 
 
 
13  2015-05-25 2015-05-31
Independence of CH 
 
(5.25)Buddha`s Birthday 
14  2015-06-01 2015-06-07
 
 
(6.6) Memorial Day 
15  2015-06-08 2015-06-14
 
 
(6.8 - 6.20) Self-Study and Final examinations Period 
16  2015-06-15 2015-06-21
 
 
(6.8 - 6.20) Self-Study and Final examinations Period