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