Mathematical Logic

Prerequisites & course information

Basic set theory; models, compactness, and completeness; basic model theory; Incompleteness and Gödel's Theorems; basic recursion theory; constructible sets.