MA 58600, Spring 2008
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.
|MA 586 0101||7:00pm||LIPSHITZ, LEONARD||MATH 722|
There are no materials for this course.