Kurt Schütte

Publication Activity (10 Years)

Years Active: 1951-1988
Publications (10 Years): 0

Publications

Kurt Schütte
. Arch. Math. Log. 27 (1) (1988)
Kurt Schütte
) von G. Jäger. Arch. Math. Log. 27 (1) (1988)
Kurt Schütte
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. Arch. Math. Log. 26 (1) (1987)
Kurt Schütte, Stephen G. Simpson
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. Arch. Math. Log. 25 (1) (1985)
Kurt Schütte
ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung. Arch. Math. Log. 17 (3-4) (1975)
Wilfried Buchholz, Kurt Schütte
Die Beziehungen Zwischen den Ordinalzahlsystemen Σ und Θ(ω). Arch. Math. Log. 17 (3-4) (1975)
Kurt Schütte
Syntactical and Semantical Properties of Simple Type Theory. J. Symb. Log. 25 (4) (1960)
Kurt Schütte
Ein System des Verknüpfenden Schliessens. Arch. Math. Log. 2 (2-4) (1956)
Kurt Schütte
Eine bemerkung über Quasirekursive Funktionen. Arch. Math. Log. 1 (2) (1951)