Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

   
    Mar 28, 2024  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog [ARCHIVED CATALOG]

Add to My Catalog (opens a new window)

MATH 5010 - Mathematical Logic and Set Theory

3 hours

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): None.



Add to My Catalog (opens a new window)