Logic and Set Theory

Catalog description

Naive set theory, first-order logic, elementary model theory, non-standard analysis, Godel's incompleteness theorems for elementary arithmetic, axioms for set theory, ordinal and cardinal arithmetic, the continuum hypothesis, methods of inner models and forcing for proving consistency and independence results.