Some applications of supercompact extender based forcings to hod

Moti Gitik, Carmi Merimovich

Research output: Contribution to journalArticlepeer-review

Abstract

Supercompact extender based forcings are used to construct models with HOD cardinal structure different from those of V. In particular, a model where all regular uncountable cardinals are measurable in HOD is constructed.

Original languageEnglish
Pages (from-to)461-476
Number of pages16
JournalJournal of Symbolic Logic
Volume83
Issue number2
DOIs
StatePublished - 1 Jun 2018

Keywords

  • Easton iteration
  • HOD
  • extender based forcing
  • large cardinals

Fingerprint

Dive into the research topics of 'Some applications of supercompact extender based forcings to hod'. Together they form a unique fingerprint.

Cite this