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

Tel Aviv University, Bar-Ilan University

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

ASJC Scopus subject areas

Logic

Access to Document

10.1016/j.apal.2022.103164

Cite this

@article{c1901f8233384b11afae1848f4ebf405,

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 = "English",

volume = "174",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "North-Holland Publ Co",

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 - https://www.scopus.com/pages/publications/85135574962

U2 - 10.1016/j.apal.2022.103164

DO - 10.1016/j.apal.2022.103164

M3 - Article

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

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this