Klaas Pieter Hart Ultrafilters of Character omega<sub>1</sub>. 1-15 1989 54 J. Symb. Log. 1 db/journals/jsyml/jsyml54.html#Hart89