1 problem

Matching

Equiconsistency of $\textbackslash \kappa$ -compactness and $\textbackslash Pi^1_1$ -subcompactness
About 8 years old
Equiconsistency conjecture. The existence of $\textbackslash \kappa$ which is $\textbackslash \kappa$ -compact is equiconsistent with the existence of a cardinal…
opencompactness large-cardinals subcompact-cardinals
08

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