Inner models with large cardinal features usually obtained by forcing

DOI10.1007/S00153-011-0264-5zbMATH Open1250.03104arXiv1111.0856OpenAlexW2103798851MaRDI QIDQ412053FDOQ412053

Arthur W. Apter, Victoria Gitman, Joel David Hamkins

Publication date: 3 May 2012

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal kappa for which 2^kappa=kappa^+, another for which 2^kappa=kappa^++ and another in which the least strongly compact cardinal is supercompact. If there is a strongly compact cardinal, then there is an inner model with a strongly compact cardinal, for which the measurable cardinals are bounded below it and another inner model W with a strongly compact cardinal kappa, such that H_{kappa^+}^Vsubseteq HOD^W. Similar facts hold for supercompact, measurable and strongly Ramsey cardinals. If a cardinal is supercompact up to a weakly iterable cardinal, then there is an inner model of the Proper Forcing Axiom and another inner model with a supercompact cardinal in which GCH+V=HOD holds. Under the same hypothesis, there is an inner model with level by level equivalence between strong compactness and supercompactness, and indeed, another in which there is level by level inequivalence between strong compactness and supercompactness. If a cardinal is strongly compact up to a weakly iterable cardinal, then there is an inner model in which the least measurable cardinal is strongly compact. If there is a weakly iterable limit delta of <delta-supercompact cardinals, then there is an inner model with a proper class of Laver-indestructible supercompact cardinals. We describe three general proof methods, which can be used to prove many similar results.

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

Recommendations

• Indestructibility, instances of strong compactness, and level by level inequivalence
• Laver indestructibility and the class of compact cardinals
• Indestructible strong compactness but not supercompactness
• Some structural results concerning supercompact cardinals
• An \(L\)-like model containing very large cardinals

zbMATH Keywords

forcinglarge cardinalsinner models

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• The consistency strength of the tree property at the double successor of a measurable cardinal
• Title not available (Why is that?)
• How large is the first strongly compact cardinal? or a study on identity crises
• Some applications of iterated ultrapowers in set theory
• The lottery preparation
• What is the theory ZFC without power set?
• Fragile measurability
• Large cardinals and definable well-orders on the universe
• Diamond, square, and level by level equivalence
• Measurable cardinals and the continuum hypothesis
• On level by level equivalence and inequivalence between strong compactness and supercompactness
• Ramsey-like cardinals
• Ramsey-like cardinals II
• Tallness and level by level equivalence and inequivalence
• Internal consistency and global co-stationarity of the ground model
• Ramsey cardinals and constructibility
• The ground axiom
• On the strong equality between supercompactness and strong compactness
• Internal Consistency and the Inner Model Hypothesis
• Level by level inequivalence beyond measurability
• On unfoldable cardinals, \(\omega\)-closed cardinals, and the beginning of the inner model hierarchy
• Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals

Cited In (11)

• BI-INTERPRETATION IN WEAK SET THEORIES
• Level by level inequivalence beyond measurability
• Precisely controlling level by level behavior
• Indestructibility properties of Ramsey and Ramsey-like cardinals
• On the consistency strength of level by level inequivalence
• Between strong and superstrong
• Laver sequences for extendible and super-almost-huge cardinals
• Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse
• EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• Some structural results concerning supercompact cardinals

This page was built for publication: Inner models with large cardinal features usually obtained by forcing

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