UID:
almafu_9959185781902883
Format:
1 online resource (CD, 390 p.)
Edition:
1st ed. 1975.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-38020-5
Series Statement:
Lecture Notes in Mathematics, 500
Note:
Bibliographic Level Mode of Issuance: Monograph
,
Verzeichnis der Publikationen von Kurt Schütte -- Normalfunktionen und Konstruktive Systeme von Ordinalzahlen -- Sound functors -- A study of generalized standardization in combinatory logic -- Intensionale Funktionalinterpretation der Analysis -- Non-extensional type-free theories of partial operations and classifications, I -- Kombinatorische Konstruktionen mit Beweisen und Schnittelimination -- Calculability of the primitive recursive functionals of finite type over the natural numbers -- Observations on a recent generalization of completeness theorems due to Schütte -- Strong normalization for arithmetic -- Intuitionistic completeness of a restricted second-order logic -- The real elements in a consistency proof for simple type theory I -- Church Rosser Theorem für ?-Kalküle mit Unendlich Langen Termen -- Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit -- Eine Variante des Bezeichnungssystems W(X) für Ordinalzahlen -- An upper bound for the provability of transfinite induction in systems with N-times iterated inductive definitions -- Comments on gentzen-type procedures and the classical notion of truth -- Bemerkungen zu Regel und Schema -- Infinite terms and recursion in higher types -- Consistency proofs and ordinals -- Markov's principle and Markov's rule for theores of choice sequences.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-07533-X
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0079542
