[PPT] - Point-free Descriptive Set Theory and Algorithmic Randomness Alex PowerPoint Presentation