We prove that density preserving homeomorphisms form a Π11-complete subset in the Polish space ℍ of all increasing autohomeomorphisms of unit interval.
[1] Bruckner A.M., Density-preserving homeomorphisms and a theorem of Maximoff, Quart. J. Math. Oxford, 1970, 21(3), 337–347 http://dx.doi.org/10.1093/qmath/21.3.337
[2] Ciesielski K., Larson L., Ostaszewski K., \( \mathcal{I} \) -Density Continuous Functions, Mem. Amer. Math. Soc., 1994, 107(515)
[3] Głab S., Descriptive properties of families of autohomeomorphisms of the unit interval, J. Math. Anal. Appl., 2008, 343(2), 835–841 http://dx.doi.org/10.1016/j.jmaa.2008.01.068
[4] Kechris A.S., Classical Descriptive Set Theory, Graduate Texts in Mathematics, 156, Springer, New York, 1995