Hyperwellfoundedness and Eventual Domination

Abstract

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.

arXiv comment5 pages, 0 figures