Fall 2013 MATH 225A 001 LEC

Metamathematics
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECTuTh 1230-2P 736 EVANSSCANLON, T54447
Units/CreditFinal Exam GroupEnrollment
417: FRIDAY, DECEMBER 20, 2013 8-11ALimit:24 Enrolled:6 Waitlist:0 Avail Seats:18 [on 10/27/13]
Additional Information: 

Prerequisites: 125B and 135.

Syllabus: Metamathematics of predicate logic. Completeness and compactness theorems. Interpolation theorem, definability, theory of models. Metamathematics of number theory, recursive functions, applications to truth and provability. Undecidable theories. Sequence begins fall.

Office: 723 Evans

Office Hours: TBA

Required Text: A shorter model theory by Wilfrid Hodges

Recommended Reading: Model Theory by C. C. Chang and Jerome Keisler

Grading: Based on weekly homework, one midterm and a final exam

Homework: 

Course Webpage: