Spielquantorinterpretation unstetiger Funktionale der höheren Analysis

DOI10.1007/BF02007142zbMath0544.03021MaRDI QIDQ3333026

Wolfgang Friedrich

Publication date: 1984

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

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

zbMATH Keywords

functional interpretationfunctionals of finite typediscontinuous functionalsgame quantifierextensions of classical analysis

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Computability and recursion theory (03D99) Relative consistency and interpretations (03F25)

Related Items (2)

Some logical metatheorems with applications in functional analysis ⋮ Pointwise hereditary majorization and some applications

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
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

This page was built for publication: Spielquantorinterpretation unstetiger Funktionale der höheren Analysis