2
$\begingroup$

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)

$\endgroup$

1 Answer 1

4
$\begingroup$

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.

$\endgroup$
3
  • $\begingroup$ But if you add a normality condition, the story becomes more complicated. $\endgroup$ Jan 19, 2012 at 1:42
  • $\begingroup$ 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. $\endgroup$ Jan 19, 2012 at 1:44
  • $\begingroup$ Yes, I think that is right. $\endgroup$ Jan 19, 2012 at 1:48

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.