USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS.

We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described by a computably enumerable set, such as lower semicomputable functions. The corresponding randomness notions are slightl...

Descripción completa

Detalles Bibliográficos
Publicado en:Bulletin of Symbolic Logic Vol. 22; no. 3; pp. 305 - 332
Autores principales: MIYABE, KENSHI, NIES, ANDRÉ, ZHANG, JING
Formato: Artículo
Publicado: Cambridge University Press Sep2016
Materias:
Acceso en línea:Ver este registro en EBSCOhost