Characterising the Martin-Löf random sequences using computably enumerable sets of measure one

  • Authors:

  • George Davie

  • Affiliations:

  • Department of Mathematics, Applied Mathematics and Astronomy, UNISA 0003, Pretoria, South Africa

  • Venue:
  • Information Processing Letters
  • Year:
  • 2004

Quantified Score

Hi-index 0.89

Visualization

Abstract

A sequence @w is Martin-Lof random if and only if it appears early in every Lebesgue measure one set of computably enumerable intervals.