Statement:
DPO: Every infinite set has a non-trivial, dense partial order. (A partial ordering \(<\) on a set \(X\) is dense if \((\forall x, y\in X)(x \lt y \to (\exists z \in X)(x \lt z \lt y))\) and is non-trivial if \((\exists x,y\in X)(x \lt y)\)).
Howard_Rubin_Number: 387
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Gonzalez-1995a: "Dense orderings, partitions, and weak forms of choice"
Book references
Note connections: