We prove that a Borel strict partial order is an increasing union of wellfounded Borel partial orders if and only if it admits an (injective) Borel homomorphism to the eventual domination order.
生成讲解博客的中文版本
生成AI智能校验的中文版本