6
$\begingroup$

Is anything known about the consistency strength of the following statement?

  • $\kappa$ is a Mahlo cardinal and there is a stationary set of $a \in \mathcal{P}_\kappa(\kappa^+)$ such that $a \cap \kappa$ is an inaccessible cardinal and the order type of $a$ is $(a \cap \kappa)^+$?

This statement follows from $\kappa^+$-supercompactness of $\kappa$ and also from subcompactness of $\kappa$. It is a strengthening of the principle $\text{Pr}(\kappa^+)$ that was shown by Burke in "Generic embeddings and the failure of box" to imply $\neg \square_\kappa$, so a lower bound on the consistency strength is the existence of two Mahlo cardinals.

$\endgroup$

2 Answers 2

1
$\begingroup$

Well, here is a very slight weakening of your $\kappa^+$-supercompactness upper bound, to the assumption merely that $\kappa$ is nearly $\kappa^+$-supercompact. This hypothesis is strictly weaker than $\kappa^+$-supercompactness, but still, under this assumption, the set of such $a$ is stationary as you desire.

Specifically, a cardinal $\kappa$ is nearly $\kappa^+$-supercompact, if for every transitive $M$ of size $\kappa^+$, closed under $\lt\kappa$ sequences, there is an elementary embedding $j:M\to N$ into a transitive set $N$, with critical point $\kappa$, such that $j''\kappa^+\in N$. It follows that $j''\kappa^+$ has your property with respect to $j(\kappa)$ in $N$, and so the set of $a\in P_\kappa(\kappa^+)$ with your property will have measure one with respect to the induced $M$-measure. It follows by the usual normality argument that the set of such $a$ is stationary, as you desire, since any club set $C$ (or the function defining it) can be placed into such an $M$ and so $j''\kappa^+\in j(C)$, meaning that $j$ of the set of $a$ meets $j(C)$, and so there is such an $a$ in $C$.

The nearly $\theta$-supercompact cardinals were introduced by Jason Schanker in his dissertation (written under my supervision), along with the weakly measurable cardinals, and Jason had noted that the near $\theta$-supercompactness hypothesis suffice in many arguments that previously had used full $\theta$-supercompactness. The present case is an additional instance of this phenomenon, where near $\kappa^+$-supercompactness suffices in place of $\kappa^+$-supercompactness.

Meanwhile, I am unsure exactly how the nearly $\kappa^+$-supercompact cardinals relate to the subcompact cardinals, and in any case perhaps a more dramatic weakening is possible.

It may be interesting to note that a recent result proved jointly by Jason Schanker, Brent Cody, Moti Gitik and myself shows that it is relatively consistent with ZFC that the least weakly compact cardinal $\kappa$ is also nearly $\kappa^+$-supercompact (but $2^\kappa\gt\kappa^+$), which might suggest something about the nature of these cardinals.

$\endgroup$
5
  • $\begingroup$ Jason's article on near supercompactness is available at: sciencedirect.com/science/article/pii/S016800721200142X $\endgroup$ Mar 21, 2013 at 1:54
  • $\begingroup$ Yes, that is definitely worth mentioning. Ideally, I was hoping for something that implied the stationarity of the set in the question without also implying that $\kappa$ is weakly compact. This is because if we add the additional assumption that $\kappa$ is weakly compact, then $\square(\kappa)$ and $\square_\kappa$ both fail, and the lower bound for this coincides with the current state of the art in inner model theory (I think)... $\endgroup$ Mar 21, 2013 at 2:02
  • $\begingroup$ ...whereas on the other hand if we don't know that $\kappa$ is weakly compact I don't see any way to get more than two Mahlo cardinals out of it, so I thought maybe it could be forced from two Mahlo cardinals somehow (the first being $\kappa$ and the second becoming $\kappa^+$.) I don't know if this is plausible though. $\endgroup$ Mar 21, 2013 at 2:02
  • $\begingroup$ I'll give it some more thought; several ideas I had considered to make it much weaker didn't work out. But perhaps it is possible... $\endgroup$ Mar 21, 2013 at 2:10
  • $\begingroup$ Thanks. By the way, I should probably share my motivation: I think it is interesting that the simultaneous failure of $\square(\kappa)$ and $\square_\kappa$ is strong whereas the failure of either on its own is weak. I have an application where it's not clear that $\neg \square(\kappa) \And \neg \square_\kappa$ is enough, however, so hopefully I can strengthen $\neg \square(\kappa)$ to "$\kappa$ is weakly compact" and strengthen $\neg \square_\kappa$ slightly to something like in the question, but still maintain the property that they are weaker on their own than they are together. $\endgroup$ Mar 21, 2013 at 2:20
3
$\begingroup$

I hope revisiting an old question is not frowned upon, but i think i have been able to improve both the lower and the upper bound of the consistency strength:

For the lower bound, Lemma 38.11 in Jech states that (for $\kappa$ regular and $\lambda\geq\kappa$) "If $\{x\in P_{\kappa}(\lambda)\;|\;|x\cap\kappa|<|x|\}$ is stationary then $0^{\#}$ exists". The proof is not too hard: By assumption, there exists $M\in P_{\kappa}(L_{\lambda})$ such that $M\prec L_{\lambda}$ and $|M\cap\kappa|<|M|$. Ergo the inverse of the transitive collapse of $M$ is an elementary embedding from some $L_{\alpha}$ (where necessarily $|M|=|L_{\alpha}|=|\alpha|>M\cap\kappa$) to $L_{\lambda}$. So by Theorem 18.27 in Jech, $0^{\#}$ exists.

On the other hand, for the lower bound the $\kappa^+$-ineffability of $\kappa$ suffices. $\kappa$ is $\kappa^+$-ineffable if for every function $f\colon P_{\kappa}(\kappa^+)\to P_{\kappa}(\kappa^+)$ such that $f(x)\subseteq x$ for all $x$, there exists $b\subseteq\kappa^+$ such that $\{x\in P_{\kappa}(\kappa^+)\;|\;f(x)=x\cap b\}$ is stationary. If $\kappa$ is nearly $\kappa^+$-supercompact, it is $\kappa^+$-ineffable (and my best guess is that the two properties are not equivalent).

In my thesis (forthcoming) i show that if $\kappa$ is $\kappa^+$-ineffable there are stationarily many $M\prec H(\Theta)$ (for $\Theta$ arbitrary) of size ${<}\,\kappa$ such that $M\cap\kappa$ is inaccessible and $M$ is "$\Pi_1^1$-correct about $\kappa^+$", meaning that (letting $\pi\colon M\to N$ denote the transitive collapse) if for some $B\subseteq\pi(\kappa^+)^k$ and $x_0,\dots,x_{n-1}\in\pi(\kappa^+)$ we have $$(\pi(\kappa^+),B,\in)\models\phi[x_0,\dots,x_{n-1}]$$ there is such a $B$ in $N$. It follows that if $M$ is $\Pi_1^1$-correct about $\kappa^+$, $|M\cap\kappa^+|>|M\cap\kappa|$: $|M\cap\kappa^+|=|\pi(\kappa^+)|$ and $|M\cap\kappa|=|\pi(\kappa)|$, so assume $|\pi(\kappa)|=|\pi(\kappa^+)|$. We can find $B\subseteq\pi(\kappa^+)^2$ that is a cofinal function from $\pi(\kappa)$ to $\pi(\kappa^+)$. Assuming $B\in N$, by elementarity, $\pi^{-1}(B)$ is a cofinal function from $\kappa$ to $\kappa^+$, a contradiction.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.