ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
The Legacy of Kurt Schütte
Latest Publications
TOTAL DOCUMENTS
25
(FIVE YEARS 25)
H-INDEX
0
(FIVE YEARS 0)
Published By Springer International Publishing
9783030494230, 9783030494247
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close