PHL445H5 • Metalogic

A continuation of PHL345H5, this is a course in the mathematical study of logic, also known as meta-logic. We will investigate and prove theorems about logical systems. Topics covered will include: basic set theory and recursion theory, completeness, compactness, and the Loewenheim-Skolem theorems for first-order logic, and Gödel's incompleteness theorems.

(PHL345H5 or MAT309H5) and 1.0 credit in PHL
In Class