MAT 5161 Mathematical Logic
3 units
Mathematics
Faculty of Science
A basic graduate course in mathematical logic. Propositional and Predicate logic, Proof theory, Gentzen's Cut-Elimination, Completeness, Compactness, Henkin models, model theory, arithmetic and undecidability. Special Topics (time permitting) depending on interests of instructor and audience. This course is equivalent to MATH 5301 at Carleton University.
Components:
Lecture
Requirements:
Prerequisite: Honours undergraduate algebra, analysis and topology (or permission of the instructor).
Previously Offered Terms:
Winter