Coding into HOD via normal measures with some applications

DOI10.1002/MALQ.201010010zbMATH Open1270.03089OpenAlexW2099564676MaRDI QIDQ3170556FDOQ3170556

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

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

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)

Cites Work

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

Cited In (4)

• The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond
• Accessing the switchboard via set forcing
• Indestructibility, HOD, and the ground axiom
• LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH

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)