Form Classes

Statement:

Every non-well-orderable set has an infinite, Dedekind finite subset.

Howard_Rubin_Number: 163

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

This form's transferability is: Transferable

This form's negation transferability is: Negation Transferable

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

Book references

Note connections:
Note 94 Relationships between the different definitions of finite

The following forms are listed as conclusions of this form class in rfb1: 253, 289, 324, 304, 13, 18, 125, 53, 57, 45-n, 64, 78, 80, 84, 98, 118, 124, 126, 127, 128, 144, 146, 154, 155, 156, 177, 198, 200, 216, 290, 299, 300, 328, 358, 369, 65, 157, 278, 106, 131, 355,

Back