The definable Oka theorem

1. Coherence - classical.
2. Proof of Oka - sketch of classical (via Weierstrass preparation and division, etc).
3. Proof of definable Oka - sketch of steps and discussion of problematic points.

If time permits, I will report on the bourbaki text I sent during the previous lecture.