J. W. Degen Some Aspects and Examples of Infinity Notions. 111-124 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Degen94