Ein starker Normalisationssatz für die bar-rekursiven Funktionale

DOI10.1007/BF02007260zbMath0352.02035OpenAlexW2003783714MaRDI QIDQ4121888

H. Vogel

Publication date: 1976

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

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

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Intermediate logics (03B55) Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99)

Related Items (4)

Strong normalization of barrecursive terms without using infinite terms ⋮ Equivalence of bar recursors in the theory of functionals of finite type ⋮ Programs from proofs using classical dependent choice ⋮ Unnamed Item

Cites Work

• Combinators, \(\lambda\)-terms and proof theory
• Ein starker Normalisationssatz für die intuitionistische Typentheorie
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Eine bemerkung über Quasirekursive Funktionen
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ein starker Normalisationssatz für die bar-rekursiven Funktionale