Natural well-orderings. J.N. Crossley, J.B. Kister (1987) Archiv für mathematische Logik und Grundlagenforschung
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. Stephen G. Simpson (1985) Archiv für mathematische Logik und Grundlagenforschung