  In classical asynchronous distributed systems composed of a fixed number n of
processes where some proportion may fail by crashing, many objects do not have
a wait-free linearizable implementation (e.g. stacks, queues, etc.). It has
been proved that consensus is universal in such systems, which means that this
system augmented with consensus objects allows to implement any object that has
a sequential specification. To this end, many universal constructions have been
proposed in systems augmented with consensus objects or with different
equivalent objects or special hardware instructions (compare&swap, fetch&add,
etc.). In this paper, we consider a more general system model called infinite
arrival model where infinitely many processes may arrive and leave or crash
during a run. We prove that consensus is still universal in this more general
model. For that, we propose a universal construction. As a first step we build
a weak log for which we propose two implementations using consensus objects for
the first and the compare&swap special instruction for the other.
