Statement:

Order Extension Principle: Every partial ordering can be extended to a linear ordering.  Tarski [1924], p 78.

Howard_Rubin_Number: 49

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:
Tarski-1924: Sur les ensembles finis

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 30, 99, 14, 49, 201, 326,

Back