Around finite basis results for quasi-orders

These are the notes for the proof of the finite basis result for non Baire class one functions.

We started going through them during the fifth lecture. The point were we stopped is indicated in the notes.