Thomas Jech Positive sum Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals. 226-233 1989 54 J. Symb. Log. 1 db/journals/jsyml/jsyml54.html#Jech89