MathOverflow Asked by Alexander Pruss on September 6, 2020

Consider these two axioms:

- Every partial order extends to a linear order.
- Every partial preorder (reflexive and transitive relation) extends to a linear preorder while preserving strict orderings: i.e., whenever $x<y$ (namely: $xlesssim y$ but not $ylesssim x$) holds in the original order, it holds in the extended order.

**Question:** Does 2 imply 1 in ZF?

**Notes:**

A. In ZF, Boolean Prime Ideal implies 1 (but not conversely if ZF is consistent), and 1 implies 2 (take the quotient of the preordered set under $sim$, where $xsim y$ iff $xlesssim y$ and $ylesssim x$, and apply 1).

B. Also, 2+(every set has a linear order) implies 1. (Use 2 to extend the partial order $le$ to a total preorder $lesssim$ preserving strict orderings. We now need to turn $lesssim$ into a linear order. To do that, we just need to linearly order within each equivalence class under $sim$. Do that by taking a linear order on the whole set and using that to induce the order in each equivalence class—though not between them.)

C. Claim 2 implies Banach-Tarski and thus the existence of nonmeasurable sets (Pawlikowski’s proof of Banach-Tarski from Hahn-Banach can be adapted), and hence 2 is not provable in ZF (if ZF is consistent).

1 Asked on December 21, 2021 by ryan-chen

ca classical analysis and odes limits and convergence sequences and series

0 Asked on December 21, 2021 by fredy

0 Asked on December 20, 2021

ag algebraic geometry differential operators noncommutative algebra ra rings and algebras

1 Asked on December 20, 2021 by luka-klini

1 Asked on December 20, 2021 by rob-arthan

2 Asked on December 20, 2021 by amorfati

1 Asked on December 20, 2021

1 Asked on December 20, 2021

1 Asked on December 20, 2021

1 Asked on December 18, 2021 by maowao

free groups geometric group theory oa operator algebras von neumann algebras

0 Asked on December 18, 2021

0 Asked on December 18, 2021 by kind-bubble

ag algebraic geometry ct category theory descent galois descent

2 Asked on December 18, 2021

1 Asked on December 18, 2021 by thomas-dybdahl-ahle

coding theory it information theory markov chains pr probability stochastic processes

2 Asked on December 18, 2021 by giuliosky

banach lattices fa functional analysis lattice theory lattices

2 Asked on December 18, 2021

banach spaces fa functional analysis limits and convergence metric spaces norms

0 Asked on December 18, 2021

1 Asked on December 16, 2021 by mathcounterexamples-net

1 Asked on December 16, 2021 by robert-bruner

ac commutative algebra noncommutative rings ra rings and algebras reference request

0 Asked on December 16, 2021

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- Lex on Does Google Analytics track 404 page responses as valid page views?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir