161-241 Mathematical Logic

Background in symbolic logic, eg. 161-016 Metatheory, or equivalent, or permission from the Head of Department or subject coordinator.

This subject is a study of central topics in two or more of the following sub-fields of mathematical logic: Model Theory, Set Theory and Foundations of Mathematics, Proof Theory, Recursion and Computation Theory. The emphasis will be on central concepts and principles, with due attention to philosophical questions but a primary focus on the rigorous proof of results.