%0 Journal Article %A Gilton, Thomas %A Krueger, John %D 2017 %J Annals of Pure and Applied Logic %N 5 %P 922-1016 %T Mitchell's theorem revisited %V 168