A fixed point theorem with applications to truncated lattices

We prove a fixed point theorem related to the set P2 of [17]. The result gives access to nontrivial infinite ordered sets with the fixed point property. We also show how the result can be used to provide an elementary proof of part of Baclawski and Björner’s results on truncated lattices.Dedicated to the memory of Ivan RivalReceived December 1, 2002; accepted in final form June 18, 2004.This revised version was published online in August 2005 with a corrected cover date.