Course Textbooks

Autumn 2009 Offerings

No courses found

Other Course Information

Prerequisites
Mathematics 649 or permission of instructor.

Description
Basic proof theory and model theory; completeness, interpolation and definability theorems, elimination of quantifiers, compactness, Lowenheim-Skolem Theorems, elementary extensions, and categoricity.

Credits
3

Quarters Offered
Autumn