On the existence of small antichains for definable quasi-orders
Logic
2020-02-18 v1 Combinatorics
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.
Cite
@article{arxiv.2002.06433,
title = {On the existence of small antichains for definable quasi-orders},
author = {Raphaël Carroy and Benjamin D. Miller and Zoltán Vidnyánszky},
journal= {arXiv preprint arXiv:2002.06433},
year = {2020}
}