{"id":"arxiv/2605.08274","url":"https://arxiv.org/abs/2605.08274","tags":["math.LO"],"score":0,"title":"Bourbaki--Zorn Normal Forms for Maximality Arguments","domain":"math.LO","source":"arxiv","authors":["You-Chang Liu"],"reviews":0,"subject":"math.LO","summary":"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 on a partially ordered set, we define a Bourbaki tower as a well-ordered trajectory whose successor stages are generated by the map and whose limit stages are given by least upper bounds of earlier stages. We prove that least upper bounds for nonempty well-ordered subsets are sufficient to force a fixed point for every progressive self-map. Thus the fixed-point statement is obtained under a weaker completeness…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-08","reactions":{}}