The Knaster-Tarski theorem versus monotone nonexpansive mappings

Rafael Espínola, Andrzej Wiśnicki

Let $X$ be a partially ordered set with the property that each family of order intervals of the form $[a,b],[a,\to )$ with the finite intersection property has a nonempty i…