Abstract: We prove that if k is an infinite cardinal and the set of subsets of the successor of k with order type a cardinal is stationary, then Jensen's principle Box k fails. We also show that for all infinite cardinal k, Box k holds, is consistent with a superstrong cardinal.
This item is available as: