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.
Instructor Info.
| Section | Room | Time | Instructor | Office | |
|---|---|---|---|---|---|
| MA 586 0101 | 7:00pm | LIPSHITZ, LEONARD | MATH 722 | ||
Course Materials
There are no materials for this course.
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