The universal homogeneous binary tree

Manuel Bodirsky, David Bradley-Williams, Michael Pinsker +1

A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a un…