Simultane Rekursionen in der Theorie der Funktionale endlicher Typen

DOI10.1007/BF01974150zbMath0215.32304OpenAlexW2069678290MaRDI QIDQ5618354

Kurt Schütte, Justus Diller

Publication date: 1971

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

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

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Related Items

On n-quantifier induction ⋮ Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen ⋮ Logical problems of functional interpretations ⋮ Theory of proofs (arithmetic and analysis)

Cites Work

• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Unnamed Item