Format:
Online-Ressource (CD, 390 p, online resource)
ISBN:
9783540380207
,
9783540075332
Series Statement:
Lecture Notes in Mathematics 500
Content:
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.
Additional Edition:
ISBN 9783540075332
Additional Edition:
Druckausg. Proof Theory Symposion (1974 : Kiel) ISILC Proof Theory Symposium Berlin : Springer, 1975 ISBN 354007533X
Additional Edition:
ISBN 038707533X
Language:
English
Subjects:
Mathematics
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
Author information:
Müller, Gert H. 1923-2006
Bookmarklink