Een ruit van ultrafilters

Tijdens dit project wordt in de Rudin-Keisler (partiële) ordening een ruit van ultrafilters geconstrueerd. Tijdens deze constructie wordt gebruik gemaakt van een speciaal soort onafhankelijke familie. Het zijn namelijk de inverse beelden van de congruentieklassen 1 mod 2 en 0 mod 2 onder functies, die allemaal uit dezelfde oneindige familie van...

Good ultrafilters and saturated models

This thesis focusses on good ultrafilters. Firstly ultrafilters are introduced and the definition of a good ultrafilter is given. Next the proof that good ultrafilters exists is discussed. Lastly it is shown that good ultrafilters make ultraproducts saturated.