Rigid ideals

DOI10.1007/S11856-018-1650-ZMaRDI QIDQ1650019zbMATH OpenOpenAlexFDO

Authors Monroe Eskew, Brent Cody

Publication date 29 June 2018

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.00040

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: An ideal $I$ on a cardinal $kappa$ is called emph{rigid} if all automorphisms of $P(kappa)/I$ are trivial. An ideal is called emph{$mu$-minimal} if whenever $GsubseteqP(kappa)/I$ is generic and $XinP(mu{)}^{V[G]}setminusV$, it follows that $V[X]=V[G]$. We prove that the existence of a rigid saturated $mu$-minimal ideal on $m{u}^{+}$, where $mu$ is a regular cardinal, is consistent relative to the existence of large cardinals. The existence of such an ideal implies that GCH fails. However, we show that the existence of a rigid saturated ideal on $m{u}^{+}$, where $mu$ is an emph{uncountable} regular cardinal, is consistent with GCH relative to the existence of an almost-huge cardinal. Addressing the case $mu=omega$, we show that the existence of a rigid emph{presaturated} ideal on $omeg{a}_1$ is consistent with CH relative to the existence of an almost-huge cardinal. The existence of a emph{precipitous} rigid ideal on $m{u}^{+}$ where $mu$ is an uncountable regular cardinal is equiconsistent with the existence of a measurable cardinal.

Recommendations

• Large ideals on small cardinals
• Saturated Ideals Need Not be p‐points
• A saturation property of ideals and weakly compact cardinals
• Precipitous Ideals on Singular Cardinals
• Weak saturation of ideals on \(P_{\kappa }(\lambda )\)

Cites work

• A uniqueness theorem for iterations
• Calculating quotient algebras of generic embeddings
• Forcing closed unbounded sets
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• Ideal projections and forcing projections
• Ideals and generic elementary embeddings
• Iterated Cohen extensions and Souslin's problem
• Iterated forcing and elementary embeddings
• Layered posets and Kunen's universal collapse
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Saturated ideals
• Saturation Properties of Ideals in Generic Extensions. I
• Set theory. An introduction to independence proofs. 2nd print
• The number of normal measures
• The structure of the Mitchell order. II.

Cited in

(2)

• More rigid ideals
• Unboring ideals

This page was built for publication: Rigid ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650019)