Strong normalization of barrecursive terms without using infinite terms

DOI10.1007/BF02007566zbMath0603.03017MaRDI QIDQ3739119

Marc Bezem

Publication date: 1985

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138047

zbMATH Keywords

strong normalization theoremfunctionals of finite typebarrecursive terms

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50)

Related Items

Unnamed Item, On the computational content of the axiom of choice

Cites Work

• Unnamed Item
• Unnamed Item
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Ein starker Normalisationssatz für die bar-rekursiven Funktionale