Article ID Journal Published Year Pages File Type
4952448 Theoretical Computer Science 2016 16 Pages PDF
Abstract
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.
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
,