Ein starker Normalisationssatz für die bar-rekursiven Funktionale
From MaRDI portal
Publication:4121888
DOI10.1007/BF02007260zbMath0352.02035OpenAlexW2003783714MaRDI QIDQ4121888
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
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