MIT OpenCourseWare
  • OCW home
  • Course List
  • about OCW
  • Help
  • Feedback
  • Support MIT OCW

18.996A Simplicity Theory, Spring 2004

The DG is left translation-invariant.
The DG (-, ≡) is left translation-invariant. (Image by Dr. Itay Ben-Yaacov.)

Highlights of this Course

This course features lecture notes that summarize the topics discussed and analyzed in class. In addition a few assignments can be found as well as a readings section that lists several online papers.

Course Description

This is an advanced topics course in model theory whose main theme is simple theories. We treat simple theories in the framework of compact abstract theories, which is more general than that of first order theories. We cover the basic properties of independence (i.e., non-dividing) in simple theories, the characterisation of simple theories by the existence of a notion of independence, and hyperimaginary canonical bases.


Dr. Itay Ben-Yaacov

Course Meeting Times

Two sessions / week
1.5 hours / session




Send feedback about OCW or this course.