Fall 2022 MATH 225A 001 LEC

Metamathematics
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 12:30PM - 01:59PMEvans 65Thomas Scanlon, Antonio Montalban21962
UnitsEnrollment StatusSession
4Open2022 Fall, August 24 - December 09
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