Boise Set Theory Seminar
Wednesday, January 30
Room: Math conference and break room
Speaker: Andrés Caicedo
Title: Determinacy from large cardinals: an overview
Abstract: A game is determined when one of the players has a winning strategy. Determinacy is the claim that all perfect information omega-length two-player games on integers are determined. This is a key assumption in modern set theory.
We present a high level sketch of how the presence of large cardinals in the universe implies that determinacy holds in the model $L(R)$. There won’t be enough resolution in our microscope to understand all details, but hopefully there will be enough to make sense of the main ingredients of the argument.