关于可定义拟序的小反链的存在性
On the existence of small antichains for definable quasi-orders
摘要：
我们推广了Kada的可定义的加强Dilworth的类的准订单的特征，承认一个给定的有限基数的反链。
英文摘要：
We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
