Title	An overview of higher randomness
Creator	Monin, Benoit
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2016-12-09T10:05
Description	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).
Extent	37 minutes
Subject	Mathematics; Mathematical logic and foundations; Dynamical systems and ergodic theory; Logic and foundations
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: Paris- Creteil
Series	BIRS Workshop Lecture Videos (Oaxaca de Juárez (Mexico))
Date Available	2017-06-09
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0348170
URI	http://hdl.handle.net/2429/61891
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos