Coding into HOD via normal measures with some applications

DOI10.1002/malq.201010010zbMath1270.03089OpenAlexW2099564676MaRDI QIDQ3170556

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 cardinalGCHsupercompact cardinalHODnormal measure

Mathematics Subject Classification ID

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

Related Items (4)

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

Cites Work

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

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