MVEX01-18-17 Some equivalent formulations of the Axiom of Choice
The majority of modern mathematics is done within the framework of the ZFC Axioms. One of these axioms, the Axiom of Choice (AC), always generated some controversy. In this project we intend to understand that many important results of modern mathematics are actually equivalent to the AC. The list is endless, with impact in Algebra, Analysis, Order Theory and Topology. Furthermore, there are even more results that need the AC in order to be proved. We will just focus on equivalent formulations and definitely there will be many surprising results that may defy our intuition and our understanding of a seemingly simple assertion, such as the AC is.
Obs! För GU-studenter räknas projektet som ett projekt i Matematik (MMG900/MMG910).
Förkunskapskrav Some familiarity with point set topology and/or algebra is desirable.
Examinator Marina Axelson-Fisk
Institution Matematiska vetenskaper