Spring 2015 MATH 229 001 LEC

Theory of Models
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECTuTh 930-11A 61 EVANSSCANLON, T54418
Units/CreditFinal Exam GroupEnrollment
410: WEDNESDAY, MAY 13, 2015 1130-230PLimit:20 Enrolled:11 Waitlist:0 Avail Seats:9 [on 03/22/15]
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: