Christopher Turner

Generalised Prikry forcings and L[Card]

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.