Another proof of the Browder–Göhde–Kirk theorem via ordering argument
Jacek R. Jachymski · Bulletin of the Australian Mathematical Society · 2002
Using the Zermelo Principle, we establish a common fixed point theorem for two progressive mappings on a partially ordered set. This result yields the Browder–Göhde–Kirk fixed point theorem for nonexpansive mappings.