Jacopo Emmenegger: Proving the Axiom of Choice
Tid: Fr 2017-03-24 kl 13.15 - 14.15
Plats: Room 16, Building 5, Kräftriket, SU
Medverkande: 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.