Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Graduate Courses

21-803
Model Theory III
12 units

This is a follow up of 21-703 . The main results to be discussed are orthogonality calculus, and the structure of regular types. This will be used in a proof to Shelah's ''Main Gap Theorem'' for countable theories. If time will permit I will discuss the solution to Morley's conjecture that the spectrum function is weakly monotonic. It is expected that the students will know the fundamentals of classification theory (including various equivalent properties to superstability, forking calculus, and the stability spectrum theorem).