Forcing Magidor iteration over a core model below 0¶

Omer Ben-Neria

doi:10.1007/s00153-014-0370-2

Forcing Magidor iteration over a core model below 0^¶

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

Abstract

We study the Magidor iteration of Prikry forcings, and the resulting normal measures on κ, the first measurable cardinal in a generic extension. We show that when applying the iteration to a core model below 0^¶, then there exists a natural correspondence between the normal measures on κ in the ground model, and those of the generic extension.

Original language	English
Pages (from-to)	367-384
Number of pages	18
Journal	Archive for Mathematical Logic
Volume	53
Issue number	3-4
DOIs	https://doi.org/10.1007/s00153-014-0370-2
State	Published - May 2014
Externally published	Yes

Keywords

Core model
Magidor iteration
Normal measures
Prikry forcing

All Science Journal Classification (ASJC) codes

Philosophy
Logic

Access to Document

10.1007/s00153-014-0370-2

Cite this

@article{453495fd4f8b424e88a9322e7e71f874,

title = "Forcing Magidor iteration over a core model below 0¶",

abstract = "We study the Magidor iteration of Prikry forcings, and the resulting normal measures on κ, the first measurable cardinal in a generic extension. We show that when applying the iteration to a core model below 0¶, then there exists a natural correspondence between the normal measures on κ in the ground model, and those of the generic extension.",

keywords = "Core model, Magidor iteration, Normal measures, Prikry forcing",

author = "Omer Ben-Neria",

year = "2014",

month = may,

doi = "10.1007/s00153-014-0370-2",

language = "الإنجليزيّة",

volume = "53",

pages = "367--384",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "3-4",

}

TY - JOUR

T1 - Forcing Magidor iteration over a core model below 0¶

AU - Ben-Neria, Omer

PY - 2014/5

Y1 - 2014/5

N2 - We study the Magidor iteration of Prikry forcings, and the resulting normal measures on κ, the first measurable cardinal in a generic extension. We show that when applying the iteration to a core model below 0¶, then there exists a natural correspondence between the normal measures on κ in the ground model, and those of the generic extension.

AB - We study the Magidor iteration of Prikry forcings, and the resulting normal measures on κ, the first measurable cardinal in a generic extension. We show that when applying the iteration to a core model below 0¶, then there exists a natural correspondence between the normal measures on κ in the ground model, and those of the generic extension.

KW - Core model

KW - Magidor iteration

KW - Normal measures

KW - Prikry forcing

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

U2 - 10.1007/s00153-014-0370-2

DO - 10.1007/s00153-014-0370-2

M3 - مقالة

SN - 0933-5846

VL - 53

SP - 367

EP - 384

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 3-4

ER -