Carnegie Mellon ContactLinksSite
Department of Mathematical Sciences
About the Department Graduate Programs Undergraduate Program Research & Centers People
Letter of Introduction
Degree Programs
Graduate Courses
Seminars
Admissions
Financial Aid
Past Dissertations

Home

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).