1 problem

Equiconsistency of $\textbackslash kappa$ -compactness and $\textbackslash Pi^1_1$ -subcompactness
Equiconsistency conjecture. The existence of $\textbackslash kappa$ which is $\textbackslash kappa$ -compact is equiconsistent with the existence of a cardinal…
Conjectureopencompactness large-cardinals subcompact-cardinals
0

Equiconsistency of \textbackslashkappa\textbackslash kappa\textbackslashkappa-compactness and \textbackslashPi11\textbackslash Pi^1_1\textbackslashPi11​-subcompactness