This will be a talk at the Oslo Mathematical Logic Colloquium on 18th November. Handout here.