MATHEMATICAL LOGIC

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.

PHILOS 511

Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.

PHILOS 911

Seminar on logic.

MATH 873

Advanced topics from all areas of mathematical logic.

MATH 975

Selected topics in Mathematical Logic.