MAT7020-01 (2022학년도 1학기)

2021-12-22 16:24:04  2022-02-24 15:51:38 
모델론2  3 
과225/실시간온라인  화4/목3,4 
 
김병한  이과대학 수학 
Sci.H 246  2585  
bkim@yonsei.ac.kr
 
Research topic in model theory
 
Research topics in model theory, stability theory, simplicity theory, and in 
general classification theory.
 
Model Theory I
 
Lecture and presentation
 
Home work and presentation
 
D. Marker "Model Theory: An introduction" GTM217, Springer  

"Simplicity Theory" by B. Kim (Oxford Univ. Press)

K. Tent, M. Ziegler "A course in model theory" ASL 

Model theory lecture note series by A. Pillay at
http://www3.nd.edu/~apillay/
 
http://sites.google.com/yonsei.ac.kr/byunghankimshomepage/english
 
		
		

		

					
				
Research topic in model theory.
We will go thru recent developments in simplicity theory
		
		



	
	    	
	
		

			


					
					
				
									
				
									
				

	    	

		    	
	    	
		

	    			1 
		    		2022-03-02
				
		    		2022-03-08

						
		    		
Skolem theory 

		    		
 

		    		(3.2.) Spring semester classes begin
(3.4. - 3.8.) Course add/drop period 		
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			2 
		    		2022-03-09
				
		    		2022-03-15

						
		    		
 

		    		
 

		    		(3.9.) Presidential election 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			3 
		    		2022-03-16
				
		    		2022-03-22

						
		    		
Morley`s categoricity theorem 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			4 
		    		2022-03-23
				
		    		2022-03-29

						
		    		
 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			5 
		    		2022-03-30
				
		    		2022-04-05

						
		    		
dividing/forking
simple theories 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			6 
		    		2022-04-06
				
		    		2022-04-12

						
		    		
 

		    		
 

		    		(4.6. - 4.8.) Course withdrawal period 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			7 
		    		2022-04-13
				
		    		2022-04-19

						
		    		
fundamental theorem of forking 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			8 
		    		2022-04-20
				
		    		2022-04-26

						
		    		
 

		    		
 

		    		(4.20. - 4.26.) Midterm Examinations 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			9 
		    		2022-04-27
				
		    		2022-05-03

						
		    		
Lachlan/Kim Theorem 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			10 
		    		2022-05-04
				
		    		2022-05-10

						
		    		
 

		    		
 

		    		(5.5) Children`s Day
(5.8.) Buddha’s Birthday 		
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			11 
		    		2022-05-11
				
		    		2022-05-17

						
		    		
Baldwin-Lachlan Theorem 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			12 
		    		2022-05-18
				
		    		2022-05-24

						
		    		
 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			13 
		    		2022-05-25
				
		    		2022-05-31

						
		    		
Lascar group 

		    		
 

		    		 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			14 
		    		2022-06-01
				
		    		2022-06-07

						
		    		
 

		    		
 

		    		(6.1) Regional election
(6.6) Memorial Day 		
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			15 
		    		2022-06-08
				
		    		2022-06-14

						
		    		
canonical bases 

		    		
 

		    		(6.8. - 6.14) Make-up class week and reading period 
                    
		    		
		    				    		
		    				    		

 		
								
		    	
	    	
		

	    			16 
		    		2022-06-15
				
		    		2022-06-21

						
		    		
 

		    		
 

		    		(6.15. - 6. 21.) Final Examinations