On the existence of small antichains for definable quasi-orders
Abstract
We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2020
- DOI:
- 10.48550/arXiv.2002.06433
- arXiv:
- arXiv:2002.06433
- Bibcode:
- 2020arXiv200206433C
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Combinatorics;
- Primary 03E15;
- 28A05