Skip to main content

Verzeichnis der Publikationen von Kurt Schütte

Stand März 1975

  • 250 Accesses

Part of the Lecture Notes in Mathematics book series (LNM,volume 500)

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Monographien

  1. KURT SCHÜTTE Beweistheorie. Springer Berlin-Göttingen-Heidelberg 1960 (Bd. 103 der “Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen”).

    Google Scholar 

  2. 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”).

    Google Scholar 

Wissenschaftliche Aufsätze

  1. -Untersuchungen zum Entscheidungsproblem der mathematischen Logik. Math. Ann. 109 (1934), 572–603.

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. -Über die Erfüllbarkeit einer Klasse von logischen Formeln. Math. Ann. 110 (1934), 161–194.

    CrossRef  MATH  Google Scholar 

  3. 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.

    Google Scholar 

  4. -Schlußweisen-Kalküle der Prädikatenlogik. Math. Ann. 122 (1950), 47–65.

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. -Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Math. Ann. 122 (1951), 369–389.

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. -Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Math. Ann. 123 (1951), 166–186.

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. -Eine Bemerkung über quasirekursive Funktionen. Arch. f. math. Logik u. Grundlagenforschung 1 (1951), 63–64.

    CrossRef  MATH  Google Scholar 

  9. -Beweistheoretische Untersuchung der verzweigten Analysis. Math. Ann. 124 (1952), 123–147.

    CrossRef  MathSciNet  MATH  Google Scholar 

  10. Mit B. L. van der Waerden: Das Problem der dreizehn Kugeln. Math. Ann. 125 (1953), 325–334.

    MathSciNet  MATH  Google Scholar 

  11. -Zur Widerspruchsfreiheit einer typenfreien Logik. Math. Ann. 125 (1953), 394–400.

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. -Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Math. Ann. 127 (1954), 15–32.

    CrossRef  MathSciNet  MATH  Google Scholar 

  13. -Ein widerspruchsloses, System der Analysis auf typenfreier Grundlage. Math. Zeitschrift 61 (1954), 160–179.

    CrossRef  MathSciNet  MATH  Google Scholar 

  14. -Überdeckungen der Kugel mit höchstens acht Kreisen. Math. Ann. 129 (1955), 181–186.

    CrossRef  MathSciNet  MATH  Google Scholar 

  15. -On simple type theory with extensionality. Logic, Methodology and Philosophy of Sc. III, North-Holland Publ. Company, Amsterdam 1968.

    MATH  Google Scholar 

  16. -Ein konstruktives System von Ordinalzahlen I und II. Arch. f. math. Logik u. Grundlagenforschung 11 (1969), 126–137, und 12 (1969), 3–11.

    CrossRef  MATH  Google Scholar 

  17. Mit H. Levitz: A characterization of Takeuti's ordinal diagrams of finite order. Arch. f. math. Logik u. Grundlagenforschung 14 (1970), 75–97.

    CrossRef  MathSciNet  MATH  Google Scholar 

  18. Mit J. Diller: Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Arch. f. math. Logik u. Grundlagenforschung 14 (1971), 69–74.

    CrossRef  MathSciNet  MATH  Google Scholar 

  19. -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.

    Google Scholar 

  20. KURT SCHÜTTE Einführung der Normalfunktionen ⊘α ohne Auswahlaxiom und ohne Regularitätsbedingung. Erscheint in: Arch. f. math. Logik u. Grundlagenforschung.

    Google Scholar 

  21. Mit W. Buchholz: Die Beziehungen zwischen den Ordinalzahlsystemen Σ und ⊘α. Erscheint in: Arch. f. math. Logik u. Grund-lagenforschung.

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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