Hanf numbers and well-ordering numbers. Jörg Flum (1972) Archiv für mathematische Logik und Grundlagenforschung