Finitary orbit equivalence and measured Bratteli diagrams
We prove a strengthened version of Dye's theorem on orbit equivalence, showing that if the transformation structures are represented as finite coordinate change equivalence relations of ergodic measured Bratteli diagrams, then there is a finitary orbit equivalence between these diagrams.