Till innehåll på sidan

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

Exportera till kalender

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.