BIRS Workshop Lecture Videos

Banff International Research Station Logo

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 Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International