MATH 225B

Metamathematics

4 credits · Graduate

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.

Prerequisites & course information

{'preRequisiteCourse': '1145361', 'concurrentPrerequisit': False}; {'preRequisiteCourse': '1145271', 'concurrentPrerequisit': False}; {'preRequisiteCourse': '1145351', 'concurrentPrerequisit': False}

Sources

Course catalogue ↗2026-2027