Bourbaki--Zorn Normal Forms for Maximality Arguments

You-Chang Liu

We isolate a normal-form mechanism underlying Bourbaki--Witt fixed-point arguments and least-upper-bound versions of Zorn-type maximality principles. Given a progressive self-map o…