Generalised Prikry forcings and L[Card]
Logic and Set Theory Seminar
4th December 2019, 3:00 pm – 4:30 pm
Fry Building, G.07
Welch has recently proved that L[Card] is a generic extension of a "nice" inner model, using the generalised Prikry forcing characterised by Fuchs. I will be presenting a combined account of Fuchs' and Welch's results, and discussing something of my own attempts to extend the latter.