The Ultrafilter Lemma and Its Place in Mathematics
Mängdlära är den gren av den matematiska logiken där man studerar så kallade \textit{mängder}. I axiomatisk mängdlära undviker man att definiera begreppet \textit{mängd}, men det är meningen att mängder ska bete sig som samlingar av objekt av något slag. Som alltid i matematiken börjar man med att skriva ned en lista med axiom, från vilka man sedan försöker härleda en så rik teori som möjligt. DetWe investigate the strength of the Ultrafilter Lemma in comparison to the Axiom of Choice. In particular, we prove that a number of classical mathematical theorems are equivalent to the Ultrafilter Lemma over $\sf ZF$, and we study a few results which are typically only obtained in $\sf ZFC$ (as opposed to $\sf ZF$) but which can also be proven from the conjunction of $\sf ZF$ with the Ultrafilter