ARCHIVE FOR MATHEMATICAL LOGIC, cilt.56, ss.215-235, 2017 (SCI-Expanded)
In this paper, we analyze the complexity of topological conjugacy of pointed Cantor minimal systems from the point of view of descriptive set theory. We prove that the topological conjugacy relation on pointed Cantor minimal systems is Borel bireducible with the Borel equivalence relation Delta(+)(R) on R-N defined by x Delta(+)(R)y double left right arrow {x(i):i is an element of N} = {y(i):i is an element of N}. Moreover, we show that Delta(+)(R) is a lower bound for the Borel complexity of topological conjugacy of Cantor minimal systems. Finally, we interpret our results in terms of properly ordered Bratteli diagrams and discuss some applications.