Core models in the presence of Woodin cardinals

Ralf Schindler. Core models in the presence of Woodin cardinals. Journal of Symbolic Logic, 71(4):1145-1154, 2006. [doi]

Abstract

Abstract is missing.