Geodesic
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), pp. 73-100

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : extensions of classical analysis, functionals of finite type, functional interpretation, discontinuous functionals, game quantifier 
@article{AMLG_1984__24_138024,
     author = {Wolfgang Friedrich},
     title = {Spielquantorinterpretationen unstetiger {Funktionale} der h\"oheren {Analysis.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {73--100},
     publisher = {mathdoc},
     volume = {24},
     year = {1984},
     zbl = {0544.03021},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1984__24_138024/}
}
TY  - JOUR
AU  - Wolfgang Friedrich
TI  - Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1984
SP  - 73
EP  - 100
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1984__24_138024/
ID  - AMLG_1984__24_138024
ER  - 
%0 Journal Article
%A Wolfgang Friedrich
%T Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1984
%P 73-100
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1984__24_138024/
%F AMLG_1984__24_138024
Wolfgang Friedrich. Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.. Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), pp. 73-100. http://geodesic.mathdoc.fr/item/AMLG_1984__24_138024/