Eine bemerkung über Quasirekursive Funktionen. - Kurt Schütte 001 (Arch. Math. Log., 1951)

Ein System des Verknüpfenden Schliessens. - Kurt Schütte 001 (Arch. Math. Log., 1956)

Syntactical and Semantical Properties of Simple Type Theory. - Kurt Schütte 001 (J. Symb. Log., 1960)

Die Beziehungen Zwischen den Ordinalzahlsystemen Σ und Θ(ω). - Wilfried Buchholz; Kurt Schütte 001 (Arch. Math. Log., 1975)

Einführung der NormalfunktionenΘa ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung. - Kurt Schütte 001 (Arch. Math. Log., 1975)

Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. - Kurt Schütte 001; Stephen G. Simpson (Arch. Math. Log., 1985)

Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. - Kurt Schütte 001 (Arch. Math. Log., 1987)

Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). - Kurt Schütte 001 (Arch. Math. Log., 1988)

Eine Erweiterung T(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger. - Kurt Schütte 001 (Arch. Math. Log., 1988)