This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsMonographien
KURT SCHÜTTE Beweistheorie. Springer Berlin-Göttingen-Heidelberg 1960 (Bd. 103 der “Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen”).
KURT SCHÜTTE Vollständige Systeme modaler und intuitionistischer Logik. Springer Berlin-Heidelberg-New York 1968 (Bd., 42 der “Ergebnisse der Mathematik und ihrer Grenzgebiete”).
Wissenschaftliche Aufsätze
-Untersuchungen zum Entscheidungsproblem der mathematischen Logik. Math. Ann. 109 (1934), 572–603.
-Über die Erfüllbarkeit einer Klasse von logischen Formeln. Math. Ann. 110 (1934), 161–194.
KURT SCHÜTTE Über einen Teilbereich des Aussagenkalküls. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie XXVI 1933, Classe III, 1–3.
-Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann. 122 (1950), 47–65.
-Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Math. Ann. 122 (1951), 369–389.
Mit B. L. van der Waerden: Auf welcher Kugel haben 5, 6, 7, 8 oder 9 Punkte mit Mindestabstand Eines Platz? Math. Ann. 123 (1951), 96–124.
-Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Math. Ann. 123 (1951), 166–186.
-Eine Bemerkung über quasirekursive Funktionen. Arch. f. math. Logik u. Grundlagenforschung 1 (1951), 63–64.
-Beweistheoretische Untersuchung der verzweigten Analysis. Math. Ann. 124 (1952), 123–147.
Mit B. L. van der Waerden: Das Problem der dreizehn Kugeln. Math. Ann. 125 (1953), 325–334.
-Zur Widerspruchsfreiheit einer typenfreien Logik. Math. Ann. 125 (1953), 394–400.
-Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Math. Ann. 127 (1954), 15–32.
-Ein widerspruchsloses, System der Analysis auf typenfreier Grundlage. Math. Zeitschrift 61 (1954), 160–179.
-Überdeckungen der Kugel mit höchstens acht Kreisen. Math. Ann. 129 (1955), 181–186.
-On simple type theory with extensionality. Logic, Methodology and Philosophy of Sc. III, North-Holland Publ. Company, Amsterdam 1968.
-Ein konstruktives System von Ordinalzahlen I und II. Arch. f. math. Logik u. Grundlagenforschung 11 (1969), 126–137, und 12 (1969), 3–11.
Mit H. Levitz: A characterization of Takeuti's ordinal diagrams of finite order. Arch. f. math. Logik u. Grundlagenforschung 14 (1970), 75–97.
Mit J. Diller: Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Arch. f. math. Logik u. Grundlagenforschung 14 (1971), 69–74.
-Artikel zu den Stichwörtern “Beweistheorie”, “Finit”, “Formales System”, “Hilbertsches Program”, “Metamathematik”, “Wider-spruchsfreiheit” in: J. Ritter (Hrsg.), Historisches Wörterbuch der Philosophie, Schwabe & Co. Verlag Basel Stuttgart, ab 1971.
KURT SCHÜTTE Einführung der Normalfunktionen ⊘α ohne Auswahlaxiom und ohne Regularitätsbedingung. Erscheint in: Arch. f. math. Logik u. Grundlagenforschung.
Mit W. Buchholz: Die Beziehungen zwischen den Ordinalzahlsystemen Σ und ⊘α. Erscheint in: Arch. f. math. Logik u. Grund-lagenforschung.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Diller, J., Müller, G.H. (1975). Verzeichnis der Publikationen von Kurt Schütte. In: Diller, J., Müller, G.H. (eds) ⊨ISILC Proof Theory Symposion. Lecture Notes in Mathematics, vol 500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079543
Download citation
DOI: https://doi.org/10.1007/BFb0079543
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07533-2
Online ISBN: 978-3-540-38020-7
eBook Packages: Springer Book Archive
