English

The subcompleteness of diagonal Prikry forcing

Logic 2018-12-31 v2

Abstract

Let DD be an infinite discrete set of measurable cardinals. It is shown that generalized Prikry forcing to add a countable sequence to each cardinal in DD is subcomplete. To do this it is shown that a simplified version of generalized Prikry forcing which adds a point below each cardinal in DD, called generalized diagonal Prikry forcing, is subcomplete. Moreover, the generalized diagonal Prikry forcing associated to DD is subcomplete above μ\mu, where μ\mu is any regular cardinal below the first limit point of DD.

Keywords

Cite

@article{arxiv.1807.08782,
  title  = {The subcompleteness of diagonal Prikry forcing},
  author = {Kaethe Minden},
  journal= {arXiv preprint arXiv:1807.08782},
  year   = {2018}
}
R2 v1 2026-06-23T03:11:33.092Z