Bourbaki--Zorn Normal Forms for Maximality Arguments
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.08274
curl -X POST /api/v1/records/arxiv/2605.08274/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.08274/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'