TY - JOUR
T1 - Generalizing random real forcing for inaccessible cardinals
AU - Cohen, Shani
AU - Shelah, Saharon
N1 - Publisher Copyright:
© 2019, The Hebrew University of Jerusalem.
PY - 2019/10/1
Y1 - 2019/10/1
N2 - The two classical parallel concepts of “small” sets of the real line are meagre sets and null sets. Those are equivalent to Cohen forcing and Random Real forcing for ℕℕ; in spite of this similarity, the Cohen forcing and Random Real forcing have very different shapes. One of these differences is in the fact that the Cohen forcing has an easy natural generalization for λ2 for regular λ > ℵ0, corresponding to an extension for the meagre sets, while the Random Real forcing didn’t seem to have a natural generalization, as Lebesgue measure doesn’t have a generalization for space 2λ while λ > ℵ0. The work [6] found a forcing resembling the properties of Random Real forcing for 2λ while λ is a weakly compact cardinal. Here we describe, with additional assumptions, such a forcing for 2λ while λ is just an Inaccessible Cardinal; this forcing is strategically < λ-complete and satisfies the λ+- c.c. hence preserves cardinals and cofinalities, however unlike Cohen forcing, does not add an undominated real.
AB - The two classical parallel concepts of “small” sets of the real line are meagre sets and null sets. Those are equivalent to Cohen forcing and Random Real forcing for ℕℕ; in spite of this similarity, the Cohen forcing and Random Real forcing have very different shapes. One of these differences is in the fact that the Cohen forcing has an easy natural generalization for λ2 for regular λ > ℵ0, corresponding to an extension for the meagre sets, while the Random Real forcing didn’t seem to have a natural generalization, as Lebesgue measure doesn’t have a generalization for space 2λ while λ > ℵ0. The work [6] found a forcing resembling the properties of Random Real forcing for 2λ while λ is a weakly compact cardinal. Here we describe, with additional assumptions, such a forcing for 2λ while λ is just an Inaccessible Cardinal; this forcing is strategically < λ-complete and satisfies the λ+- c.c. hence preserves cardinals and cofinalities, however unlike Cohen forcing, does not add an undominated real.
UR - http://www.scopus.com/inward/record.url?scp=85073992173&partnerID=8YFLogxK
U2 - 10.1007/s11856-019-1925-z
DO - 10.1007/s11856-019-1925-z
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85073992173
SN - 0021-2172
VL - 234
SP - 547
EP - 580
JO - Israel Journal of Mathematics
JF - Israel Journal of Mathematics
IS - 2
ER -