Mathematical Logic II

Catalog description

Credits 3. 3 Lecture Hours. Continuation of PHIL 641 . Compactness, The Lowenheim-Skolem Theorems, computability theory and Church's thesis, formal arithmetic, Godel's Incompleteness Theorems, Tarski's Theorem and Church's Theorem; other topics might include systems of modal logic, intuitionistic logic and more advanced issues in set theory. Prerequisite: 641 or approval of instructor.