Motivation Definitions Answer Sketch Problem Summary A new ultrafilter in ω ∗ . Jonathan L. Verner Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University in Prague Będlevo, July 2007