Surreal Time and Ultratasks. - Haidar Al-Dhalimy; Charles J. Geyer (Rev. Symb. Log., 2016)