Fall 2021 MATH 225A 001 LEC

Metamathematics
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 12:30PM - 01:59PMEvans 65Theodore Slaman22253
UnitsEnrollment StatusSession
4Open2021 Fall, August 25 - December 10
Additional Information: 

Prerequisites 125A and (135 or 136)

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