On the powersets of singular cardinals in hod

Omer Ben-Neria; Moti Gitik; Itay Neeman; Spencer Unger

doi:10.1090/proc/14913

On the powersets of singular cardinals in hod

Omer Ben-Neria, Moti Gitik, Itay Neeman, Spencer Unger

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

We prove that the assertion “There is a singular cardinal κ such that for all x ⊆ κ, HOD_x does not contain the entire powerset of κ” is equiconsistent with the assertion that there is a cardinal κ such that {o(ν) | ν < κ} is unbounded in κ.

Original language	English
Pages (from-to)	1777-1789
Number of pages	13
Journal	Proceedings of the American Mathematical Society
Volume	148
Issue number	4
DOIs	https://doi.org/10.1090/proc/14913
State	Published - 2020

Bibliographical note

Publisher Copyright:
© 2020 American Mathematical Society

Access to Document

10.1090/proc/14913

Cite this

@article{70614c7984994e6d91433022eb983176,

title = "On the powersets of singular cardinals in hod",

abstract = "We prove that the assertion “There is a singular cardinal κ such that for all x ⊆ κ, HODx does not contain the entire powerset of κ” is equiconsistent with the assertion that there is a cardinal κ such that {o(ν) | ν < κ} is unbounded in κ.",

author = "Omer Ben-Neria and Moti Gitik and Itay Neeman and Spencer Unger",

note = "Publisher Copyright: {\textcopyright} 2020 American Mathematical Society",

year = "2020",

doi = "10.1090/proc/14913",

language = "אנגלית",

volume = "148",

pages = "1777--1789",

journal = "Proceedings of the American Mathematical Society",

issn = "0002-9939",

publisher = "American Mathematical Society",

number = "4",

}

TY - JOUR

T1 - On the powersets of singular cardinals in hod

AU - Ben-Neria, Omer

AU - Gitik, Moti

AU - Neeman, Itay

AU - Unger, Spencer

PY - 2020

Y1 - 2020

N2 - We prove that the assertion “There is a singular cardinal κ such that for all x ⊆ κ, HODx does not contain the entire powerset of κ” is equiconsistent with the assertion that there is a cardinal κ such that {o(ν) | ν < κ} is unbounded in κ.

AB - We prove that the assertion “There is a singular cardinal κ such that for all x ⊆ κ, HODx does not contain the entire powerset of κ” is equiconsistent with the assertion that there is a cardinal κ such that {o(ν) | ν < κ} is unbounded in κ.

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

U2 - 10.1090/proc/14913

DO - 10.1090/proc/14913

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

AN - SCOPUS:85080881021

SN - 0002-9939

VL - 148

SP - 1777

EP - 1789

JO - Proceedings of the American Mathematical Society

JF - Proceedings of the American Mathematical Society

IS - 4

ER -

On the powersets of singular cardinals in hod

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this