Graduate Logic Group: Fixed points on partial orders, the Hausdorff maximal principle and Zorn's lemma | Department of Mathematics

Graduate Logic Group: Fixed points on partial orders, the Hausdorff maximal principle and Zorn's lemma

Event Information
Event Location: 
GAB 461
Event Date: 
Wednesday, February 7, 2018 - 3:45pm

We will show in ZF that a monotonic function on a partial order where all chains have supremums must have a fixed point. With the addition of the Axiom of Choice, this will provide easy proofs of the Hausdorff maximal principle and Zorn's lemma without use of the ordinals. Time permitting, we will also show how to construct nonmeasurable sets of reals while only allowing choice on unordered pairs.