An iteration to define L[Reg]
Logic and Set Theory Seminar
29th January 2020, 3:00 pm – 4:30 pm
Fry Building, G.07
We define, informally, an iteration of Jensen's O^sword in which L[Reg] is definable as an inner model.
(This is the first part of a series of lectures to prove that L[Reg] is a class hyper-generic extension of W. This part requires a knowledge of iteration theory of mice; the next part(s) of iterated Magidor forcing.)