Strongly compct diagonal Prikry forcing
arXiv:1912.08509
Abstract
We define a version of Gitik-Sharon diagonal Prikry forcing using a strongly compact cardinal, and prove its basic properties.
arXiv:1912.08509
We define a version of Gitik-Sharon diagonal Prikry forcing using a strongly compact cardinal, and prove its basic properties.