Brouwer's fixed point theorem with sequentially at most one fixed point
  We present a constructive proof of Brouwer's fixed point theorem with sequentially at most one fixed point, and apply it to the mini-max theorem of zero-sum games. 
Yasuhito Tanaka
math.LO cs.GT