More rigid ideals
@article{Eskew2019MoreRI,
title={More rigid ideals},
author={Monroe Eskew},
journal={Israel Journal of Mathematics},
year={2019}
}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.
One Citation
Mutually embeddable models of ZFC
- Mathematics
- 2021
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…
References
SHOWING 1-10 OF 22 REFERENCES
Prikry-Type Forcings
- Mathematics
- 2010
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
- Mathematics
- 1988
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
- Mathematics
- 2013
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
- Mathematics
- 2016
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
- Economics
- 2010
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
- Mathematics
- 1978
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
- Mathematics
- 2010
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
- MathematicsJournal 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.