More rigid ideals

  title={More rigid ideals},
  author={Monroe Eskew},
  journal={Israel Journal of Mathematics},
  • Monroe Eskew
  • Published 4 January 2019
  • Mathematics
  • Israel Journal of Mathematics
We extend prior results of Cody-Eskew, showing the consistency of GCH with the statement that for all regular cardinals $\kappa \leq \lambda$, where $\kappa$ is the successor of a regular cardinal, there is a rigid saturated ideal on $\mathcal{P}_\kappa\lambda$. We also show the consistency of some instances of rigid saturated ideals on $\mathcal{P}_\kappa\lambda$ where $\kappa$ is the successor of a singular cardinal. 
1 Citations
Mutually embeddable models of ZFC
We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems. One of Ken Kunen’s best-known and


Prikry-Type Forcings
One of the central topics of set theory since Cantor has been the study of the power function κ→2 κ . The basic problem is to determine all the possible values of 2 κ for a cardinal κ. Paul Cohen
Martin's Maximum, saturated ideals and non-regular ultrafilters. Part II
We prove, assuming the existence of a huge cardinal, the consistency of fully non-regular ultrafilters on the successor of any regular cardinal. We also construct ultrafilters with ultraproducts of
Calculating quotient algebras of generic embeddings
Many consistency results in set theory involve forcing over a universe V0 that contains a large cardinal to get a model V1. The original large cardinal embedding is then extended generically using a
Rigid ideals
An ideal I on a cardinal κ is called rigid if all automorphisms of P(κ)/I are trivial. An ideal is called μ-minimal if whenever G ⊆ P(κ)/I is generic and X ∈ P(μ)V[G]V, it follows that V [X] = V [G].
Ideals and Generic Elementary Embeddings
This chapter covers the technique of generic elementary embeddings. These embeddings are closely analogous to conventional large cardinal embeddings, the difference being that they are definable in
Making the supercompactness of κ indestructible under κ-directed closed forcing
A model is found in which there is a supercompact cardinal κ which remains supercompact in any κ-directed closed forcing extension.
Iterated Forcing and Elementary Embeddings
I give a survey of some forcing techniques which are useful in the study of large cardinals and elementary embeddings. The main theme is the problem of extending a (possibly generic) elementary
A uniqueness theorem for iterations
  • P. Larson
  • Mathematics
    Journal of Symbolic Logic
  • 2002
Abstract If M is a countable transitive model of , then for every real x there is a unique shortest iteration j: M → N with x ∈ N, or none at all.
The Higher Infinite