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).​​

Projektkod MVEX01-18-17
Gruppstorlek 3-4
Förkunskapskrav Some familiarity with point set topology and/or algebra is desirable.
Handledare Joao Pedro Paulos, pjoo@chalmers.se, Maria Roginskaya, maria.roginskaya@chalmers.se.
Examinator Marina Axelson-Fisk
Institution Matematiska vetenskaper​

Publicerad: fr 27 okt 2017. Ändrad: ti 08 jan 2019