ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974

Verzeichnis der Publikationen von Kurt Schütte....Pages 1-3
Normalfunktionen und Konstruktive Systeme von Ordinalzahlen....Pages 4-25
Sound functors....Pages 26-43
A study of generalized standardization in combinatory logic....Pages 44-55
Intensionale Funktionalinterpretation der Analysis....Pages 56-72
Non-extensional type-free theories of partial operations and classifications, I....Pages 73-118
Kombinatorische Konstruktionen mit Beweisen und Schnittelimination....Pages 119-151
Calculability of the primitive recursive functionals of finite type over the natural numbers....Pages 152-163
Observations on a recent generalization of completeness theorems due to Schütte....Pages 164-181
Strong normalization for arithmetic....Pages 182-197
Intuitionistic completeness of a restricted second-order logic....Pages 198-232
The real elements in a consistency proof for simple type theory I....Pages 233-256
Church Rosser Theorem für λ-Kalküle mit Unendlich Langen Termen....Pages 257-263
Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit....Pages 264-266
Eine Variante des Bezeichnungssystems W(X) für Ordinalzahlen....Pages 267-270
An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions....Pages 271-289
Comments on gentzen-type procedures and the classical notion of truth....Pages 290-319
Bemerkungen zu Regel und Schema....Pages 320-340
Infinite terms and recursion in higher types....Pages 341-364
Consistency proofs and ordinals....Pages 365-369
Markov\'s principle and Markov\'s rule for theores of choice sequences....Pages 370-383