No label defined (Q3340848)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3873314
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 3873314 |
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
0.8416965007781982
0 references
0.7723709344863892
0 references
0.7601615190505981
0 references
0.74643874168396
0 references
