Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis (Q3679167)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis |
scientific article |
Statements
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis (English)
0 references
1985
0 references
extension of classical analysis
0 references
game quantifier
0 references
extension of Gödel's functional calculus
0 references
step projection functionals
0 references
generalized bar induction
0 references
term-model
0 references
functional interpretation
0 references
general continuity principle in finite types
0 references
functional extensionality
0 references
