MathDB1 problem
Equiconsistency conjecture. The existence of an indestructible weakly compact cardinal is equiconsistent over with the existence of a supercompact cardinal.
Equiconsistency conjecture. The existence of an indestructible weakly compact cardinal is equiconsistent over with the existence of a supercompact cardinal.