Misc.

• I contribute (and welcome improvements) to model theory articles on the nLab.
  • nonstandard models of arithmetic
  • model complete theory
  • elimination of quantifiers
  • Los ultraproduct theorem
  • elimination of imaginaries
  • interpretation (in logic)
  • type (in model theory)
  • ultraroot
  • Keisler-Shelah isomorphism theorem
  • monster model

• Here are some of Jeff Egger’s notes and slides.