Two direct proofs that LLPO implies the detachable fan theorem (Q5176663)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Two direct proofs that LLPO implies the detachable fan theorem |
scientific article; zbMATH DE number 6409409
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two direct proofs that LLPO implies the detachable fan theorem |
scientific article; zbMATH DE number 6409409 |
Statements
Two direct proofs that LLPO implies the detachable fan theorem (English)
0 references
27 February 2015
0 references
Bishop-style constructive mathematics
0 references
LLPO
0 references
fan theorem
0 references
0.84689534
0 references
0.84689534
0 references
0.83749837
0 references
0.83749837
0 references
0.8196342
0 references
0.8084042
0 references
0 references
0 references
