Form Classes

Statement:

\(E(I,II)\) Howard/Yorke [1989]: \(T\)-finite is equivalent to finite.

Howard_Rubin_Number: 83

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:
Howard-Yorke-1989: Definitions of finite
Tarski-1924: Sur les ensembles finis

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: 324, 18, 64, 83, 98, 128, 154, 198, 215, 290,

Back

Complete List of Equivalent Forms

Howard-Rubin Number Statement References
83 A

\(E(Ia,II)\): Every \(T\)-finite set is amorphous.

Howard-Yorke-1989
Note [57] Note [94]