Abstract
We extend the algebraic theory of ordered fields [7, 6] in Mizar [1, 2, 3]: we show that every preordering can be extended into an ordering, i.e. that......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
