On the existence of large antichains for definable quasi-orders. (English) Zbl 1476.03070
Reviewer: Michael Hrusak (Morelia)
MSC:
03E15