Canonical functions, non-regular ultrafilters and Ulam's problem on omega1. - Oliver Deiser; Dieter Donder (J. Symb. Log., 2003)