Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model

Moti Gitik; Eyal Kaplan

doi:10.1016/j.apal.2022.103164

Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model

Moti Gitik^*, Eyal Kaplan

^*Corresponding author for this work

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

Abstract

We continue the study started in [2] and characterize j↾_V, where j:V[G]→M[H] is an ultrapower embedding by a normal ultrafilter after a non-stationary support iteration of Prikry forcings.

Original language	English
Article number	103164
Journal	Annals of Pure and Applied Logic
Volume	174
Issue number	1
DOIs	https://doi.org/10.1016/j.apal.2022.103164
State	Published - Jan 2023

Keywords

Non-stationary support iteration
Prikry forcing
Ultrapowers

Access to Document

10.1016/j.apal.2022.103164

Cite this

@article{af3e78a6bc784cf8a76463f01f020d6c,

title = "Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model",

abstract = "We continue the study started in [2] and characterize j↾V, where j:V[G]→M[H] is an ultrapower embedding by a normal ultrafilter after a non-stationary support iteration of Prikry forcings.",

keywords = "Non-stationary support iteration, Prikry forcing, Ultrapowers",

author = "Moti Gitik and Eyal Kaplan",

note = "Publisher Copyright: {\textcopyright} 2022 Elsevier B.V.",

year = "2023",

month = jan,

doi = "10.1016/j.apal.2022.103164",

language = "אנגלית",

volume = "174",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model

AU - Gitik, Moti

AU - Kaplan, Eyal

PY - 2023/1

Y1 - 2023/1

N2 - We continue the study started in [2] and characterize j↾V, where j:V[G]→M[H] is an ultrapower embedding by a normal ultrafilter after a non-stationary support iteration of Prikry forcings.

AB - We continue the study started in [2] and characterize j↾V, where j:V[G]→M[H] is an ultrapower embedding by a normal ultrafilter after a non-stationary support iteration of Prikry forcings.

KW - Non-stationary support iteration

KW - Prikry forcing

KW - Ultrapowers

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

U2 - 10.1016/j.apal.2022.103164

DO - 10.1016/j.apal.2022.103164

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

AN - SCOPUS:85135574962

SN - 0168-0072

VL - 174

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

M1 - 103164

ER -

Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this