Î 11-Martin-Löf random reals as measures of natural open sets

Hjorth and Nies proposed notions of randomness corresponding to the higher recursion setting. In particular, they defined the notion of Π11-Martin-Löf randomness. In this article we present examples of Π11-Martin-Löf random reals which are obtained as measures of Π11 open sets.