English

Cardinal collapsing and product forcing

Logic 2021-07-12 v3

Abstract

Suppose κ\kappa is a singular strong limit cardinal of countable cofinality and let κn:n<ω\langle \kappa_{n}: n<\omega \rangle be an incrasing sequence of regular cardinals cofinal in κ\kappa. We show that if cf(2κ)=κ+cf(2^\kappa)= \kappa^+, then forcing with the full product n<ωAdd(κn,1)\prod_{n<\omega}Add(\kappa_n,1) collapses 2κ2^\kappa into κ+\kappa^+. This result gives a consistent positive answer to a question of Sy Friedman. We also give a new proof of a result due to Shelah by showing that if the sequence carries a scale of length κ+,\kappa^+, then forcing with n<ωAdd(κn,1)\prod_{n<\omega}Add(\kappa_n,1) adds a generic filter for Add(κ+,1)Add(\kappa^+, 1), and indeed n<ωAdd(κn,1)/finAdd(κ+,1). \prod_{n<\omega}Add(\kappa_n,1)/fin \simeq Add(\kappa^+, 1).

Keywords

Cite

@article{arxiv.1506.02129,
  title  = {Cardinal collapsing and product forcing},
  author = {Mohammad Golshani and Rahman Mohammadpour},
  journal= {arXiv preprint arXiv:1506.02129},
  year   = {2021}
}
R2 v1 2026-06-22T09:48:25.953Z