Some applications of supercompact extender based forcings to hod

Moti Gitik; Carmi Merimovich

doi:10.1017/jsl.2017.90

Some applications of supercompact extender based forcings to hod

Moti Gitik^*, Carmi Merimovich

^*Corresponding author for this work

School of Mathematical Sciences

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	461-476
Number of pages	16
Journal	Journal of Symbolic Logic
Volume	83
Issue number	2
DOIs	https://doi.org/10.1017/jsl.2017.90
State	Published - 1 Jun 2018

Keywords

Easton iteration
HOD
extender based forcing
large cardinals

Access to Document

10.1017/jsl.2017.90

Cite this

@article{ec908ae07b1341c08ca37b6e544b8387,

title = "Some applications of supercompact extender based forcings to hod",

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.",

keywords = "Easton iteration, HOD, extender based forcing, large cardinals",

author = "Moti Gitik and Carmi Merimovich",

note = "Publisher Copyright: {\textcopyright} The Association for Symbolic Logic 2018.",

year = "2018",

month = jun,

day = "1",

doi = "10.1017/jsl.2017.90",

language = "אנגלית",

volume = "83",

pages = "461--476",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Some applications of supercompact extender based forcings to hod

AU - Gitik, Moti

AU - Merimovich, Carmi

N1 - Publisher Copyright: © The Association for Symbolic Logic 2018.

PY - 2018/6/1

Y1 - 2018/6/1

N2 - 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.

AB - 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.

KW - Easton iteration

KW - HOD

KW - extender based forcing

KW - large cardinals

UR - http://www.scopus.com/inward/record.url?scp=85051001720&partnerID=8YFLogxK

U2 - 10.1017/jsl.2017.90

DO - 10.1017/jsl.2017.90

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85051001720

SN - 0022-4812

VL - 83

SP - 461

EP - 476

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

Some applications of supercompact extender based forcings to hod

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this