5 research outputs found
An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability
No full textComputable Measure Theory and Algorithmic Randomness
Get PDFInternational audienceWe provide a survey of recent results in computable measure and probability theory, from both the perspectives of computable analysis and algorithmic randomness, and discuss the relations between them
