MAT9070-01 (2016학년도 2학기)

2016-08-14 05:45:59  2016-08-14 06:02:43 
논리학특강 III 
과262  금5,6,7 
 
얀도브로볼스키  이과대학 수학 
Science building 261  010 2576 2155 
dzas87@gmail.com
 
All students interested in logic
We will focus mainly of studying dependent theories (theories with NIP)
None
-
Grade will be based on homeworks and the final exam
Jan Dobrowolski, PhD
-
Available above
2016-09-01 2016-09-07
The NIP property 
Definition, examples 
(9.1.) Fall semester classes begin
(9.5. - 9.7.) Course add and drop period 
2016-09-08 2016-09-14
Basic properties 
Basic properties of NIP formulas, equivalent characterizations 
(9.14. - 9.16.) Chuseok Holiday 
2016-09-15 2016-09-21
(9.14. - 9.16.) Chuseok Holiday 
2016-09-22 2016-09-28
Invariant types 
Properties, operations on invariant types 
 
2016-09-29 2016-10-05
More on examples 
O-minimality, trees 
(10.3.) National Foundation Day
(10.5. - 10.7.) Course withdrawal period 
2016-10-06 2016-10-12
Stable embeddedness 
Stable embeddedness 
(10.5. - 10.7.) Course withdrawal period
(10.9.) Hangul Proclamation Day
(10.10.) First third of the semester ends 
2016-10-13 2016-10-19
Pairs of models in the NIP context 
Pairs of models in the NIP context 
(10.17. - 10.21.) Midterm Examinations 
2016-10-20 2016-10-26
Strong dependence 
Properties, inp-rank and dp-rank 
(10.17. - 10.21.) Midterm Examinations 
2016-10-27 2016-11-02
Forking 
Properties of forking in NIP theories 
 
10  2016-11-03 2016-11-09
More on forking 
More on forking 
 
11  2016-11-10 2016-11-16
Finite combinatorics 
VC-dimension, related topics 
(11.14.) Second third of the semester ends 
12  2016-11-17 2016-11-23
Measures 
The setting, basic properties 
 
13  2016-11-24 2016-11-30
More on measures 
Invariance, generic stability 
 
14  2016-12-01 2016-12-07
Connected components 
Definitions, properties 
 
15  2016-12-08 2016-12-14
Connected components continued 
Existence of connected components, applications 
(12.8. - 12.21.) Self-study and Final Examinations 
16  2016-12-15 2016-12-21
fsg 
properties of groups with fsg 
(12.8. - 12.21.) Self-study and Final Examinations