MATH 5010 - Mathematical Logic and Set Theory

3 hours

Followed by MATH 5020. 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): Consent of department.

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