MATH 5020 - Mathematical Logic and Set Theory

3 hours

Preceded by MATH 5010. These two courses together cover the following material. Rigorous development of first-order logic, basic model theory, completeness and incompleteness theorems, decidable and undecidable theories, axioms of set theory, ordinal and cardinal numbers, the axiom of choice, the continuum hypothesis, constructible sets, and basic descriptive set theory.

Prerequisite(s): MATH 5010.

Course specific fees (in addition to tuition and mandatory):
Academic (AF) per hour: $33.10