Metamathematics of Set Theory

4 credits · Graduate

Various set theories: comparison of strength, transitive, and natural models, finite axiomatizability. Independence and consistency of axiom of choice, continuum hypothesis, etc. The measure problem and axioms of strong infinity.