MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it possible to have a saturated ideal on a successor cardinal which does not extend the nonstationary ideal? (i.e. some nonstationary set is positive for this ideal)

share|cite|improve this question
up vote 4 down vote accepted

Yes, it is. The reason is that an ideal $I$ on $P(\kappa)$ is saturated just in case the quotient Boolean algebra $P(\kappa)/I$ satisfies the $\kappa^+$-chain condition, and this is a property that is preserved by permutations of the underlying set $\kappa$. But the property of extending the non-stationary ideal is not preserved by such permutations, since we can perform a permutation of $\kappa$ that takes a nonstationary set to a club set. Thus, there are isomorphic versions of any saturated ideal that remain saturated, but which do not extend the non-stationary ideal.

share|cite|improve this answer
But if you add a normality condition, the story becomes more complicated. – Joel David Hamkins Jan 19 '12 at 1:42
I also just realized, if you take the induced ideal: $\{ X : 1 \Vdash \delta \in j(X) \}$, then this is saturated for any choice of delta, so we may pick a successor ordinal less than $\kappa^+$ and the get set of limit ordinals to be in the induced ideal. – Monroe Eskew Jan 19 '12 at 1:44
Yes, I think that is right. – Joel David Hamkins Jan 19 '12 at 1:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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