Course Detail
Units:
3.0
Course Components:
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: Graduate standing required.
Description
Meets with PHIL 5220. Various topics in set theory, proofs of consistency for formal systems, incompleteness results, model theory, recursive theory, and category theory.