Identity crisis on tightly $C^{(2)}$-compact cardinals
Bagaria and Goldberg asked if $κ$ being tightly $C^{(n)}$-compact implies $κ\in C^{(n+1)}$ for natural numbers $n\ge 1$? Usuba gave a negative answer for $n=1$. In this paper we give a negative answer for $n=2$.
math.LO↗