Strongly compct diagonal Prikry forcing
Logic
2019-12-19 v1
Abstract
We define a version of Gitik-Sharon diagonal Prikry forcing using a strongly compact cardinal, and prove its basic properties.
Cite
@article{arxiv.1912.08509,
title = {Strongly compct diagonal Prikry forcing},
author = {Mohammad Golshani},
journal= {arXiv preprint arXiv:1912.08509},
year = {2019}
}