Spring 2022 MATH 225B 001 LEC

Metamathematics
Schedule: 
SectionDays/TimesLocationInstructorClass
001 LECTuTh 03:30PM - 04:59PMEvans 65Theodore Slaman25039
UnitsEnrollment StatusSession
4Open2022 Spring, January 18 - May 06
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