Next: Recursive Function Theory
Up: Foundations of Mathematics
Previous: First-order logic
- Axiomatic set theory. The systems ZF and ZFC. Relations
between sets and classes.
- Principles of transfinite induction and recursion, and
- The definitions of ordinal and cardinal numbers. Cardinal and
ordinal arithmetic with and without the Generalized Continuum
- Natural models of set theory and parts thereof. Reflection
- Transfinite trees, closed unbounded and stationary sets.