The fan theorem and unique existence of maxima (Q5480634)
From MaRDI portal
scientific article; zbMATH DE number 5043315
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The fan theorem and unique existence of maxima |
scientific article; zbMATH DE number 5043315 |
Statements
The fan theorem and unique existence of maxima (English)
0 references
3 August 2006
0 references
constructive mathematics
0 references
intuitionistic mathematics
0 references
constructive reverse mathematics
0 references
fan theorem
0 references
