Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization |
scientific article |
Statements
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (English)
0 references
1 April 1993
0 references
functional interpretation
0 references
weak König's lemma
0 references
extraction of bounds
0 references
