Statement:
Every infinite tree has either an infinite chain or an infinite antichain.
Howard_Rubin_Number: 216
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:
Pincus-1972a: Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
Book references
Note connections:
Note 21
Definitions for forms [10 F], [14 M],
[14 N], [43 H],
[106 A], Form 216, and
Form 249.