Bi-orders do not arise from total orders

Abstract We present a Zermelo–Fraenkel ( $\textbf {ZF}$ ) consistency result regarding bi-orderability of groups. A classical consequence of the ultrafilter lemma is that a group is bi-orderable if and only if it is locally bi-orderable. We show that there exists a model of $\textbf {ZF}$ plus dependent choice in which there is a group which is locally free (ergo locally bi-orderable) and not bi-orderable, and the group can be given a total order. The model also includes a torsion-free abelian group which is not bi-orderable but can be given a total order.