Statement:

Every linearly ordered \(W\)-set is well orderable.

Howard_Rubin_Number: 294

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:
Morris-1969: Choice and cofinal well-ordered subsets

Book references

Note connections:
Note 25 For forms Form 144 and Form 179-\(\epsilon\)

The following forms are listed as conclusions of this form class in rfb1:

Back