We generalize Kada’s definable strengthening of Dilworth’s characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.

中文翻译：

---

关于可定义准序的小反链的存在

我们概括了 Kada 对 Dilworth 对允许给定有限基数的反链的准阶类的表征的可定义强化。