Hyper-extensions in metric fixed point theory
  We apply a modern axiomatic system of nonstandard analysis in metric fixed point theory. In particular, we formulate a nonstandard iteration scheme for nonexpansive mappings and present a nonstandard approach to fixed-point problems in direct sums of Banach spaces. 
Andrzej Wi\'snicki
math.FA math.LO