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