RANK and RANDOMNESS
We show that for each computable ordinal α > 0 it is possible to find in each Martin-Löf random Δ02 degree a sequence R of Cantor-Bendixson rank α, while ensuring that the sequences that inductively witness R's rank are all Martin-Löf random with respect to a single countably supported and...
Main Authors: | Hölzl, R. (Author), Porter, C.P (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
Cambridge University Press
2019
|
Subjects: | |
Online Access: | View Fulltext in Publisher |
Similar Items
-
Effective aspects of Bernoulli randomness
by: Porter, C.P
Published: (2019) -
Uma introdução ao cálculo das partições para espaços topológicos
by: Onishi, Rubens Rodrigues
Published: (2019) -
Large Scale Geometries of Infinite Strings
by: Takisaka, Toru
Published: (2018) -
On Martin-Löf’s Constructive Optimism
by: V. Alexis Peluce
Published: (2020-11-01) -
Types in Ludics
by: Sironi, Eugenia
Published: (2015)