Relative consistency results via strong compactness Arthur Apter; James Henle — 1991 Fundamenta Mathematicae