Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
From MaRDI portal
Publication:3333026
DOI10.1007/BF02007142zbMath0544.03021MaRDI QIDQ3333026
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
functional interpretation; functionals of finite type; discontinuous functionals; game quantifier; extensions of classical analysis
03C80: Logic with extra quantifiers and operators
03D99: Computability and recursion theory
03F25: Relative consistency and interpretations
Related Items
Some logical metatheorems with applications in functional analysis, Pointwise hereditary majorization and some applications
Cites Work