MEASURABILITY OF SOME SETS OF BOREL MEASURABLE FUNCTIONS ON $[0,1]$
M. SMIDEK
Abstract.
In the paper we show that the space of injective Borel measurable functions and the space of functions, which norm attains supremum at exactly one point, with supremum metric are coanalyticly hard by using the space of trees.
Compressed Postscript 
