# Strength of claims about extensions of partial preorders and orders to linear ones

MathOverflow Asked by Alexander Pruss on September 6, 2020

Consider these two axioms:

1. Every partial order extends to a linear order.
2. Every partial preorder (reflexive and transitive relation) extends to a linear preorder while preserving strict orderings: i.e., whenever $$x (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).

## Related Questions

### Does the following sum converge?

1  Asked on December 21, 2021 by ryan-chen

### Is a homotopy sphere with maximum Morse perfection actually diffeomorphic to a standard sphere?

0  Asked on December 21, 2021 by fredy

### Differential birational equivalence

0  Asked on December 20, 2021

### Calculating $n$-dimensional hypervolumes ($n sim 50$), for example

1  Asked on December 20, 2021 by luka-klini

### Definition of a system of recurrent events

1  Asked on December 20, 2021 by rob-arthan

### Regularity of a conformal map

2  Asked on December 20, 2021 by amorfati

### Is there a standard definition of weak form of a nonlinear PDE?

1  Asked on December 20, 2021

### Is there an algebraic version of Darboux’s theorem?

1  Asked on December 20, 2021

### The strength of “There are no $Pi^1_1$-pseudofinite sets”

1  Asked on December 20, 2021

### Are groups with the Haagerup property hyperlinear?

1  Asked on December 18, 2021 by maowao

### Proof of second incompleteness theorem for Set theory without Arithmetization of Syntax

0  Asked on December 18, 2021

### Characterization of effective descent morphism

0  Asked on December 18, 2021 by kind-bubble

### Analogue of decay of Fourier coefficients of a smooth function on $mathbb{S}^1$

2  Asked on December 18, 2021

### Strong Data Processing Inequality for capped channels

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

### lattice suprema vs pointwise suprema

2  Asked on December 18, 2021 by giuliosky

### In infinite dimensions, is it possible that convergence of distances to a sequence always implies convergence of that sequence?

2  Asked on December 18, 2021

### Are those distributional solutions that are functions, the same as weak solutions?

0  Asked on December 18, 2021

### Ability to have function sequence converging to zero at some points

1  Asked on December 16, 2021 by mathcounterexamples-net

### Curious anti-commutative ring

1  Asked on December 16, 2021 by robert-bruner

### Minkowski (box-counting) dimension of generalized Cantor set

0  Asked on December 16, 2021