MA 753 Advanced Topics in Mathematical Logic
Selected topics in mathematical logic; topics may include: a study of the connection between the semantical and syntactical treatments of propositional calculus and quantification theory, including references to the works of Harbrand, Dreben and Hintikka, Gödel’s completeness for theorem for the first order and predicate calculus, recursive function theory, decidable theories, and Gödel’s incompleteness theorem for arithmetic, axiomatic set theory, model theory.