Content deleted Content added
m ISBNs (Build KC) |
m →Order-extension principle: bold ordering principle, which redirects here |
||
Line 37:
| jstor = 2586759}}.</ref>
Applying the order-extension principle to a partial order in which every two elements are incomparable shows that (under this principle) every set can be linearly ordered. This assertion that every set can be linearly ordered is known as the '''ordering principle''', OP, and is a weakening of the [[well-ordering theorem]]. However, there are [[model theory|models of set theory]] in which the ordering principle holds while the order-extension principle does not.<ref>{{citation
| last = Mathias | first = A. R. D.
| contribution = The order extension principle
| |||