Around finite basis results for quasi-orders

This is the sixth lecture, featuring the end of the proof of the finite basis result for non Baire class one functions.