Fall 2017 MATH 225A 001 LEC

Metamathematics
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECMoWeFr 11:00AM - 11:59AMEvans 45Silvain Rideau17074
UnitsEnrollment Status
4Open
Additional Information: 

Prerequisites: 125B and 135

Description: 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: 

Office Hours: 

Required Text: 

Recommended Reading: 

Grading: Letter grade.

Homework: 

Course Webpage: