Learn More
We shall exposit here one of the basic theorems leading from large cardinals to determinacy, a result of Woodin known as the derived model theorem. The theorem dates from the mid80’s and has been(More)