Josef Berger, Hajime Ishihara. Brouwer s fan theorem and unique existence in constructive analysis. Math. Log. Q., 51(4):360-364, 2005. [doi]
@article{BergerI05, title = {Brouwer s fan theorem and unique existence in constructive analysis}, author = {Josef Berger and Hajime Ishihara}, year = {2005}, doi = {10.1002/malq.200410038}, url = {http://dx.doi.org/10.1002/malq.200410038}, tags = {analysis}, researchr = {https://researchr.org/publication/BergerI05}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {51}, number = {4}, pages = {360-364}, }