AIM Workshop: From ℵ2 to infinity

This workshop, sponsored by AIM and the NSF, is devoted to combinatorial problems about infinite cardinals. There are two types of infinite cardinals to investigate: successors of regular cardinals, most notably ℵ2, and successors of singular cardinals, for example ℵω+1ω+1. The workshop will focus on combinatorial principles such as the tree property, stationary reflection and the effect of consequences on forcing axioms on cardinal arithmetic, in particular what implications they have on the continuum, and the singular cardinal hypothesis (SCH).

Topics: The main topics of the workshop are The tree property, its strengthening ITP, stationary reflection how these combinatorial principles interact with SCH; Which consequences of PFA and MM require the continuum to be ℵ2 , and more generally, their effect on cardinal arithmetic; Forcing techniques such as proper iterated forcing and Prikry type forcing.