Finitary isomorphisms of Poisson point processes.

As part of a general theory for the isomorphism problem for actions of amenable groups, Ornstein and Weiss (J. Anal. Math. 48 (1987) 1.141) proved that any two Poisson point processes are isomorphic as measure-preserving actions. We give an elementary construction of an isomorphism between Poisson point processes that is finitary.