| |
Dec 13, 2025
|
|
|
|
|
MATH 5020 - Mathematical Logic and Set Theory3 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 .
Add to My Catalog (opens a new window)
|
|
