All Questions
1 question
11
votes
1
answer
803
views
Is it known whether every $\omega$-tree with an infinite antichain has an infinite chain in $\mathsf{ZF}$?
In this paper by Good and Tree, the following result is mentioned without proof as part of Proposition 6.5:
Each of the following statements imply those beneath it.
The countable union of finite ...
- 503