Spielquantorinterpretation unstetiger Funktionale der höheren Analysis (Q3333026)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Spielquantorinterpretation unstetiger Funktionale der höheren Analysis |
scientific article |
Statements
Spielquantorinterpretation unstetiger Funktionale der höheren Analysis (English)
0 references
1984
0 references
extensions of classical analysis
0 references
functionals of finite type
0 references
functional interpretation
0 references
discontinuous functionals
0 references
game quantifier
0 references
0 references
