Coding into HOD via normal measures with some applications

DOI10.1002/MALQ.201010010MaRDI QIDQ3170556zbMATHOpenAlexFDO

Authors Arthur W. Apter, Shoshana Friedman

Publication date 27 September 2011

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201010010

zbMATH Keywords

measurable cardinalsupercompact cardinalHODGCHnormal measure

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)

Recommendations

• Coding over a measurable cardinal
• The number of normal measures
• Coding into 𝐾 by reasonable forcing
• scientific article; zbMATH DE number 218627
• Some Remarks on Normal Measures and Measurable Cardinals

Cites work

• Consistency of \(V= \text{HOD}\) with the wholeness axiom
• Elementary embeddings and infinitary combinatorics
• Extensions with the approximation and cover properties have no new large cardinals
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• Gap forcing
• Large cardinals and definable well-orders on the universe
• Large cardinals with few measures
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Measurable cardinals and the continuum hypothesis
• On HOD-supercompactness
• The ground axiom
• The lottery preparation
• The spectrum of elementary embeddings \(j: V \to V\)
• The wholeness axioms and V=HOD

Cited in

(6)

• Large cardinals and lightface definable well-orders, without the GCH
• Accessing the switchboard via set forcing
• Coding with canonical functions
• Indestructibility, HOD, and the ground axiom
• The consistency of level by level equivalence with \(V=\mathrm{HOD}\), the ground axiom, and instances of square and diamond
• Codings and strongly inaccessible cardinals

This page was built for publication: Coding into HOD via normal measures with some applications

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