MAT6020-01 (2017학년도 1학기)

2016-12-26 15:42:51  2016-12-26 15:45:37 
모델론 I  3 
과225  월2,3,수2 
 
김병한  이과대학 수학 
Science Hall 246  2585  
bkim@yonsei.ac.kr
 
Beginning graduate students or advanced undergraduate students
 
Introducing basic model theory
 
Mathematical Logic (1 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/
 
		
		

		

					
				
		
		



	
	    	
	
		

			


					
					
				
									
				
									
				

	    	

		    	
	    	
		

	    			1 
		    		2017-03-02
				
		    		2017-03-08

						
		    		
Review of 1st order logic.
Compactness theorem. 

		    		
 

		    		(3.2.) Spring semester classes begin

(3.6. - 3.8.) Course add and drop period 		
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			2 
		    		2017-03-09
				
		    		2017-03-15

						
		    		
 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			3 
		    		2017-03-16
				
		    		2017-03-22

						
		    		
Basic notions in model theory. 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			4 
		    		2017-03-23
				
		    		2017-03-29

						
		    		
 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			5 
		    		2017-03-30
				
		    		2017-04-05

						
		    		
 

		    		
 

		    		(4.3. - 4.5.) Course withdrawal period 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			6 
		    		2017-04-06
				
		    		2017-04-12

						
		    		
 

		    		
 

		    		(4.7.) First third of the semester ends 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			7 
		    		2017-04-13
				
		    		2017-04-19

						
		    		
Morely`s theorem 

		    		
 

		    		(4.17. - 4.22.) Midterm Examinations 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			8 
		    		2017-04-20
				
		    		2017-04-26

						
		    		
 

		    		
 

		    		(4.17. - 4.22.) Midterm Examinations 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			9 
		    		2017-04-27
				
		    		2017-05-03

						
		    		
 

		    		
 

		    		(5.3.) Buddha`s Birthday 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			10 
		    		2017-05-04
				
		    		2017-05-10

						
		    		
 

		    		
 

		    		(5.5.) Children`s Day 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			11 
		    		2017-05-11
				
		    		2017-05-17

						
		    		
 

		    		
 

		    		(5.13.) foundation day
(5.15.) Second third of the semester ends 		
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			12 
		    		2017-05-18
				
		    		2017-05-24

						
		    		
Baldwin-Lachlan Theorem 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			13 
		    		2017-05-25
				
		    		2017-05-31

						
		    		
 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			14 
		    		2017-06-01
				
		    		2017-06-07

						
		    		
 

		    		
 

		    		(6.6.) Memorial Day 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			15 
		    		2017-06-08
				
		    		2017-06-14

						
		    		
Kim-Lachlan Theorem 

		    		
 

		    		(6.8. - 6.21.) Self-study and Final Examinations 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			16 
		    		2017-06-15
				
		    		2017-06-21

						
		    		
 

		    		
 

		    		(6.8. - 6.21.) Self-study and Final Examinations