No label defined (Q5702662)
From MaRDI portal
scientific article; zbMATH DE number 2222013
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2222013 |
Statements
2 November 2005
0 references
bar recursion
0 references
realizability interpretation
0 references
axiom of dependent choice
0 references
extraction of witnesses from proofs
0 references
classical analysis
0 references
fan functional
0 references
strongly majorizable functionals
0 references