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 | |
State | Published - Jan 2023 |
Bibliographical note
Publisher Copyright:© 2022 Elsevier B.V.
Funding
Moti Gitik reports financial support was provided by Israel Science Foundation . The work was partially supported by ISF grant No. 1216/18.Moti Gitik reports financial support was provided by Israel Science Foundation.
Funders | Funder number |
---|---|
Israel Science Foundation | 1216/18 |
Keywords
- Non-stationary support iteration
- Prikry forcing
- Ultrapowers