ML-1994-13: Vervoort, Marco R. (1994) An Elementary Construction of an Ultrafilter on $\aleph_1$ Using the Axiom of Determinateness. [Report]