The fan theorem and unique existence of maxima

Josef Berger, Douglas S. Bridges, Peter Schuster. The fan theorem and unique existence of maxima. Journal of Symbolic Logic, 71(2):713-720, 2006. [doi]

Abstract

Abstract is missing.