Almost Every Domain is Universal

We endow the collection of omega-bifinite domains with the structure of a probability space, and we will show that in this space the collection of all universal domains has measure 1. For this, we present a probabilistic way to extend a finite partial order by one element. Applying this procedure iteratively, we obtain an infinite partial order. We show that, with probability 1, the cpo-completion of this infinite partial order is the universal homogeneous omega-bifinite domain. By alternating the probabilistic one-point extension with completion procedures we obtain almost surely the universal and homogeneous omega-algebraic lattice, omega-Scott domain, and omega-bifinite L-domain, respectively. We also show that in the projective topology, the set of universal and homogeneous omega-bifinite domains is residual (i.e., comeagre), and we present an explicit number-theoretic construction of such a domain.