Π11-Martin-Löf random reals as measures of natural open sets
| Autor: | Claude Sureson |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Discrete mathematics
Recursion General Computer Science 010102 general mathematics Open set Algorithmic randomness 0102 computer and information sciences 01 natural sciences Theoretical Computer Science Combinatorics 010201 computation theory & mathematics Natural (music) Randomness tests 0101 mathematics Randomness Mathematics |
| Zdroj: | Theoretical Computer Science. 653:26-41 |
| ISSN: | 0304-3975 |
| DOI: | 10.1016/j.tcs.2016.09.018 |
| Popis: | Hjorth and Nies proposed notions of randomness corresponding to the higher recursion setting. In particular, they defined the notion of Π 1 1 -Martin-Lof randomness. In this article we present examples of Π 1 1 -Martin-Lof random reals which are obtained as measures of Π 1 1 open sets. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect