Statement:
Every infinite branching poset (a partially ordered set in which each element has at least two lower bounds) has either an infinite chain or an infinite antichain.
Howard_Rubin_Number: 388
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:
Herrlich-Keremedis-1999a: Products, the Baire category theorem, and the axiom of dependent choice
Book references
Note connections: