Today we proved the axiom ¡­

Today we proved the axiom of choice and the generalized continuum hypothesis for L. This means that we have gone through all curriculum material from Kunen's book.

On Wednesday we will discuss the nature of oral exams, the kinds of questions you may be asked and so forth. I will also, on Wednesday, ask if there are any sections in the curriculum that we should discuss further.

A week from now, we will start on the note on Shoenfield's absolutenes theorem. This should take 2 weeks, maybe + a few minutes.