Memories of Kurt Schütte and the logic group in Munich: A personal report

DOI10.1007/978-3-030-49424-7_5zbMath1479.01024OpenAlexW3048637555MaRDI QIDQ5013896

Wolfram Pohlers

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-49424-7_5

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Cites Work

• A contribution to a problem of directed graphs
• Untersuchungen zum Entscheidungsproblem der mathematischen Logik
• A proof of cut-elimination theorem in simple type-theory
• Syntactical and semantical properties of simple type theory
• Hauptsatz for higher order logic
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic

This page was built for publication: Memories of Kurt Schütte and the logic group in Munich: A personal report