Prerequisites: MAT 300 with a grade of C or better. Fundamental facts about abstract sets–relations, functions, natural numbers, order, cardinality, transfinite recursion, the axiom of choice, Zorn’s lemma, ordinal numbers, and cardinal numbers–within the framework of axiomatic set theory. Axioms used to investigate infinite sets and to generalize the concepts of induction and recursion. Offered fall semester.
Mathematics, "MAT430" (2016). Curriculum Proposals. 478.