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

2020-06-30 15:19:35  2020-08-25 15:13:13 
집합론 I  3 
과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.
		
		



	
	    	
	
		

			


					
					
				
									
				
									
				

	    	

		    	
	    	
		

	    			1 
		    		2020-09-01
				
		    		2020-09-07

						
		    		
ordinals 

		    		
 

		    		(9.1.) Fall semester classes begin 
(9.3. - 9.7.) Course add and drop period 		
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			2 
		    		2020-09-08
				
		    		2020-09-14

						
		    		
cardinal 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			3 
		    		2020-09-15
				
		    		2020-09-21

						
		    		
 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			4 
		    		2020-09-22
				
		    		2020-09-28

						
		    		
infinite conbinatorics 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			5 
		    		2020-09-29
				
		    		2020-10-05

						
		    		
 

		    		
 

		    		(9.30. - 10. 2.) Chuseok Holidays 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			6 
		    		2020-10-06
				
		    		2020-10-12

						
		    		
well founded sets 

		    		
 

		    		(10.6. - 10.8.) Course Withdrawal
(10. 9.) Hangul Proclamation Day 		
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			7 
		    		2020-10-13
				
		    		2020-10-19

						
		    		
 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			8 
		    		2020-10-20
				
		    		2020-10-26

						
		    		
Forcing 

		    		
 

		    		(10.20. - 10.26.)  Midterm Examinations 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			9 
		    		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