Form Classes

Statement:  

Every set is either well orderable or has an infinite amorphous subset.

Howard_Rubin_Number: 133

Parameter(s): This form does not depend on parameters

This form's transferability is: Not Transferable

This form's negation transferability is: Negation Transferable

Article Citations:
Brunner-1982a: Dedekind-Endlichkeit und Wohlordenbarkeit

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 10, 76, 292, 53, 62, 69, 45-n, 63, 64, 67, 90, 91, 124, 126, 127, 128, 133, 146, 177, 200, 231, 267, 322, 323, 340, 344, 390, 278, 106, 131, 1,

Back