Spring 2013 MATH 229 001 LEC

Theory of Models
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECTuTh 1230-2P 4 EVANSSCANLON, T54445
Units/CreditFinal Exam GroupEnrollment
4NONELimit:25 Enrolled:5 Waitlist:0 Avail Seats:20 [on 06/26/13]
Additional Information: 

Prerequisites: 225B.

Syllabus: Syntactical characterization of classes closed under algebraic operations. Ultraproducts and ultralimits, saturated models. Methods for establishing decidability and completeness. Model theory of various languages richer than first-order.

Office: 

Office Hours: 

Required Text: 

Recommended Reading: 

Grading: 

Homework: 

Course Webpage: