Suppose $\kappa$ is strongly inaccessible and every stationary subset of $\kappa$ reflects. Must $\kappa$ be Mahlo?

Remarks:

  1. It is possible for every stationary subset of $\kappa$ to reflect, but $\kappa$ is only weakly inaccessible (and not strongly inaccessible).
  2. If $V=L$ then the answer is "yes", and in fact $\kappa$ must be weakly compact.
  • In the case of Remark 1, is $\kappa$ at least weakly Mahlo? – Asaf Karagila Jul 29 '15 at 22:17
  • In the model I know of, yes. – Sean Cox Jul 29 '15 at 22:21
  • Do you know what happens if you simply use the Mahlo-killing forcing? (Conditions are closed bounded sets containing no regular cardinal.) This forcing is very nice, and has $\delta$-closed dense subsets for every $\delta<\kappa$; so it adds no bounded sets. If you have stationary reflection in the ground model, is this preserved to the forcing extension $V[C]$? – Joel David Hamkins Jul 30 '15 at 0:07
  • Joel, I suspect something like thus might work, but only if you do some sort of Prikry preparation. So that $\kappa $ is singular on the $ j $ side of the forcing, where $ j $ is a generic lifting of a ground model elementary embedding. But even then it's not clear. – Sean Cox Jul 30 '15 at 2:05
up vote 14 down vote accepted

Not necessarily. Here's a counterexample, but I'm sure it is a ridiculous overkill in consistency strength:

Suppose $\kappa$ is the least inaccessible limit of supercompact cardinals. Then $\kappa$ is not Mahlo. If $S \subseteq \kappa$ is stationary, then there is a stationary $T \subseteq S$ such that $T$ concentrates on some cofinality $\theta < \kappa$. Taking a supercompact $\delta \in (\theta,\kappa)$ gives the reflection of $T$ by the usual argument.

  • That's fine. I didn't care about the consistency strength. – Sean Cox Jul 30 '15 at 1:59
  • The model in Shelah's paper "Reflecting stationary sets and successors of singular cardinals" has the property that stationary reflection holds for ALL inaccessible non-Mahlo cardinals (and such cardinals exist there). – Todd Eisworth Jul 30 '15 at 14:53

Your Answer

 
discard

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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