Spielquantorinterpretation unstetiger Funktionale der höheren Analysis (Q3333026): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Extensional Gödel functional interpretation. A consistency proof of classical analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4090311 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5519134 / rank | |||
Normal rank | |||
Latest revision as of 13:29, 14 June 2024
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
