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…
openFrom paperscompactness large-cardinals subcompact-cardinals
0 responses
4

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