Back to Search Start Over

[formula omitted]-Martin-Löf random reals as measures of natural open sets.

Authors :
Sureson, Claude
Source :
Theoretical Computer Science. Nov2016, Vol. 653, p26-41. 16p.
Publication Year :
2016

Abstract

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

Subjects

Subjects :
*SET theory
*RECURSION theory
*RANDOM dynamical systems
*MATHEMATICAL analysis
*COMPUTER science

Details

Language :
English
ISSN :
03043975
Volume :
653
Database :
Academic Search Index
Journal :
Theoretical Computer Science
Publication Type :
Academic Journal
Accession number :
118923411
Full Text :
https://doi.org/10.1016/j.tcs.2016.09.018
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details