MA 58600, Spring 2008

Course Description

Credit Hours: 3.00. Topics from completeness and compactness theorems; Lowenheim-Skolem theorems; omitting types and interpolation theorems; homogeneous and saturated models; elimination of quantifiers; Boolean algebras; complete, model complete, and decidable theories; ultraproducts; nonstandard analysis. Typically offered Spring.

Course Materials

Section Type Title Author

Important Notes

  • ADA policies: please see our ADA Information page for more details
  • In the event of a missed exam, see your instructor/professor as soon as possible.
  • See the online course evaluation page for more information on how we collect course feedback from students