Hypothesis: HR 216:
Every infinite tree has either an infinite chain or an infinite antichain.
Conclusion: HR 217:
Every infinite partially ordered set has either an infinite chain or an infinite antichain.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N34\) Pincus' Model X | For each \(q\in\Bbb Q\), let \(C_q=\{a_q,b_q\}\), a pair of atoms and let \(A=\bigcup_{q\in\Bbb Q}C_q\) |
Code: 3
Comments: