Jacopo Emmenegger: Proving the Axiom of Choice
Time: Fri 2017-03-24 13.15 - 14.15
Location: Room 16, Building 5, Kräftriket, SU
Participating: Jacopo Emmenegger, SU
After a very informal introduction to two possible interpretations of the existential quantifier in categorical logic, we will see that the Axiom of Choice is validated by one of this interpretations.