Evolutionary prototype selection.
We prove a classification theorem of the “Glimm-Effros” type for Borel order relations: a Borel partial order on the reals either is Borel linearizable or includes a copy of a certain Borel partial order which is not Borel linearizable.
Page 1