Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary

Abstract

We discuss some of the relationships between the notion of "mutual stationarity" of Foreman and Magidor and measurability in inner models. The general thrust of these is that very general mutual stationarity properties on small cardinals, such as the ℵns, is a large cardinal property. A number of open problems, theorems, and conjectures are stated.