Prefer a chat interface with context about you and your work?
Generic Embeddings and the Failure of Box
We prove that if {$a \subseteq {\kappa ^ + }|$ order type of a is a cardinal} is stationary, then Jensen’s principle ${\square _\kappa }$ fails. We also show that $\forall \kappa {\square _k}$ is consistent with a superstrong cardinal.