Equivalents of the (Weak) Fan Theorem
Under an Elsevier user license
open archive
MSC
03F55
03B20
03F35
03B30
Keywords
Reverse mathematics
Intuitionistic mathematics
Second-order arithmetic
Cited by (0)
Copyright © 2004 Elsevier B.V. All rights reserved.