Anna Montaruli: Injective Abelian groups in constructive Mathematics
Tid: Fr 2018-12-07 kl 13.00 - 14.00
Plats: Room 22, building 5, Kräftriket, Department of Mathematics, Stockholm University 
Medverkande: Anna Montaruli
Abstract:
It is well-known that in the classical setting an Abelian group is injective if and only if it is divisible. The prove of this fact uses Zorn’s Lemma, which we know to be equivalent, under certain conditions, to the Axiom of Choice (AC). How things would change if we work without AC? In this talk I’ll present an intermediate result that goes in this direction: The existence of a non trivial discrete injective object in the category Ab of Abelian groups implies the Weak Law of Excluded Middle (WLEM).