Eine Funktionalinterpretation der prädikativen Analysis

DOI10.1007/BF02007255zbMath0381.03043OpenAlexW2136630435MaRDI QIDQ4159054

Wolfgang Maass

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/137925

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Functionals in proof theory (03F10)

Related Items (1)

Eine Funktionalinterpretation der prädikativen Analysis

Cites Work

• Unnamed Item
• On provably recursive functions and ordinal recursive functions
• Eine Funktionalinterpretation der prädikativen Analysis
• Systems of predicative analysis
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik

This page was built for publication: Eine Funktionalinterpretation der prädikativen Analysis