show/hide this revision's text 1 [made Community Wiki]

Miller has a list of set theory problems here (upper right).

Schindler also has a list of open problems specifically in inner model theory here.