KGRC Research Seminar – 2017‑06‑01 at 4pm
Speaker: Vincenzo Dimonte (University of Udine, Italy)
Abstract: Rank-into-rank axioms sit on the top of the large cardinal hierarchy, and their fringe status makes them quite mysterious and evasive. In particular, research on I0 started to gain momentum just in the last few years.
In this talk we will give an overview of what is known at the moment about the interaction between such axioms and forcing, in four steps, in increasing order of complexity. The main result most of the time would be that the rank-into-rank axiom is not destroyed by the forcing, therefore providing many independence results (for example involving the behaviour of the power function, tree structures, pcf theory…). We will also note how such results pose an actual problem for the main branch of the research on I0, i.e, the quest for finding similarities between I0 and the Axiom of Determinacy.
Part of this work is joint with Sy Friedman and Liuzhen Wu.