The Legacy of Kurt Schütte
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030494230, 9783030494247

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mathematische Logik

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_7 ◽

2020 ◽

pp. 71-91

Author(s):

Kurt Schütte ◽

Helmut Schwichtenberg

Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_25 ◽

2020 ◽

pp. 485-502

Author(s):

Kurt Schütte

Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_23 ◽

2020 ◽

pp. 461-469

Author(s):

Kurt Schütte

A Glimpse of $$ \sum_{3} $$-elementarity

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_21 ◽

2020 ◽

pp. 415-441

Author(s):

Gunnar Wilken

Cut-Elimination for SBL

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_15 ◽

2020 ◽

pp. 265-298

Author(s):

Toshiyasu Arai

Keyword(s):

Cut Elimination

An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_16 ◽

2020 ◽

pp. 299-343

Author(s):

A. Setzer

Keyword(s):

Upper Bound ◽

Type Theory

Zur Beweistheorie Von KPM

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_24 ◽

2020 ◽

pp. 471-483

Author(s):

Kurt Schütte

Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_22 ◽

2020 ◽

pp. 445-459

Author(s):

Kurt Schütte

From Schütte’s Formal Systems to Modern Automated Deduction

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_13 ◽

2020 ◽

pp. 217-251

Author(s):

Wolfgang Bibel ◽

Jens Otten

Keyword(s):

Automated Deduction ◽

Formal Systems

The Limits of Predicativity Revisited

The Legacy of Kurt Schütte ◽

10.1007/978-3-030-49424-7_10 ◽

2020 ◽

pp. 129-165

Author(s):

Wolfram Pohlers