Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. K. Schütte, S.G. Simpson (1985) Archiv für mathematische Logik und Grundlagenforschung
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property Claudio Bernardi, Franco Montagna (1984) Fundamenta Mathematicae