Cardinal collapsing and product forcing

Authors Mohammad Golshani, Rahman Mohammadpour

Publication date 6 June 2015

Abstract: Suppose

k a p p a

is a singular strong limit cardinal of countable cofinality and let

l a n g l e k a p p a_{n} : n < o m e g a a n g l e

be an incrasing sequence of regular cardinals cofinal in

k a p p a

. We show that if

c f (2^{k} a p p a) = k a p p a^{+}

, then forcing with the full product

p r o d_{n < o m e g a} A d d (k a p p a_{n}, 1)

collapses

2^{k} a p p a

into

k a p p a^{+}

. 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

k a p p a^{+},

then forcing with

p r o d_{n < o m e g a} A d d (k a p p a_{n}, 1)

adds a generic filter for

A d d (k a p p a^{+}, 1)

, and indeed [ prod_{n<omega}Add(kappa_n,1)/fin simeq Add(kappa^+, 1). ]

This page was built for publication: Cardinal collapsing and product forcing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6262431)