双序并不是从全序中产生的
Bi-orders do not arise from total orders
摘要：
我们提出了一些Zermelo-Fraenkel相容性结果的双序性的群体，以及建设的conradian秩序的度量空间的每一个行动有界轨道。超滤子引理的一个经典推论是群是双序的当且仅当它是局部双序的。我们证明了存在一个ZF模型，其中存在一个局部自由（故局部双序）而非双序的群，并且该群可以被赋予全序。这样一个群体也可以存在于从属选择原则的存在下。无挠阿贝尔群的一致性结果相当。
英文摘要：
We present some Zermelo-Fraenkel consistency results regarding bi-orderability of groups, as well as a construction of groups with Conradian orders whose every action on metric spaces has bounded orbits. 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 ZF 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. Such a group can also exist in the presence of the principle of dependent choices. Comparable consistency results are provided for torsion-free abelian groups.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
