Funicular preorders can be prelinearized without nonprincipal ultrafilters over $\mathbb N$
It is a consequence of the axiom of choice that every preorder can be extended to a total preorder while respecting the strict preorder relation. We call such an extension a prelinearization of the preorder and study the extent to which the axiom of choice is needed to construct prelinearizations. We isolate the class of funicular preorders, and show that these have prelinearizations in models of $\mathsf{ZF+DC}$ containing no nonprincipal ultrafilters over $ω$. Funicular preorders include coordinatewise domination on $\mathbb{R}^ω$, Turing reducibility, and various preorders arising in…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.13819
curl -X POST /api/v1/records/arxiv/2602.13819/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.13819/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'