No label defined (Q3340848)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
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
