BIRS Workshop Lecture Videos
An overview of higher randomness Monin, Benoit
We will give an overview of the main results and last progresses in higher randomness. We will first talk about how, many results of algorithmic randomness can be transferred in the higher setting (we cover for this part results from the paper "Continuous higher randomness", Bienvenu, Greenberg, Monin). We will then talk more specifically about results which are specific to the higher settings, in particular results about $\Pi^1_1$-randomness and its categorical analogue : $\Sigma^1_1$-genericity (we cover for this part results from the paper "Higher randomness and genericity", Greenberg, Monin).
Item Citations and Data
Attribution-NonCommercial-NoDerivatives 4.0 International