%0 Journal Article %A Mitchell, William J. %D 1998 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 4 %P 1393-1398 %T The complexity of the core model %V 63