Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. Stephen G. Simpson — 1985 Archiv für mathematische Logik und Grundlagenforschung