The equiconsistency of two large cardinal axioms
Tom 102 / 1979
Fundamenta Mathematicae 102 (1979), 81-85
DOI: 10.4064/fm-102-2-81-85
