COURSES A GRATIS GLOBAL SERVICE
⌕ SEARCH GRATIS GLOBAL ↗
COURSES
MIT MIT-OCW

Simplicity Theory

LEVEL: ADVANCED · LICENSE: CC BY-NC-SA 4.0 · STATUS: [ FREE ]
RATE THIS
TAKE THIS COURSE FREE →

An advanced graduate course in model theory from MIT OpenCourseWare, focused on simple theories and the independence relations that generalize stability theory. The course works in the broader framework of compact abstract theories rather than restricting to first order logic, covering the basic properties of non-dividing independence in simple theories, the theorem characterizing simple theories through the existence of a well-behaved independence notion, and the more advanced topic of hyperimaginary canonical bases. Materials consist of the course's lecture notes and readings as published on MIT OpenCourseWare, intended for students who already have background in model theory. There are no video lectures, assignments, or certificate; this is a text-based reference course for self-study of a specialized area of mathematical logic.