English

Generalizing random real forcing for inaccessible cardinals

Logic 2023-08-24 v2

Abstract

The two 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 00\aleph^{\aleph_0}_0; 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 λλ\lambda^{\lambda} while λ>0\lambda > \aleph_0, corresponding to an extension for the meagre sets, while the Random real forcing didn't see to have a natural generalization, as Lebesgue measure doesn't have a generalization for space λλ\lambda^\lambda while λ>0\lambda > \aleph_0. Shelah found a forcing resembling the properties of Random Real Forcing for λλ\lambda^\lambda while λ\lambda is a weakly compact cardinal. Here we describe, with additional assumptions, such a forcing for λλ\lambda^\lambda while λ\lambda is an inaccessible cardinal; this forcing preserves cardinals and cofinalities, however unlike Cohen forcing, does not add undominated reals.

Keywords

Cite

@article{arxiv.1603.08362,
  title  = {Generalizing random real forcing for inaccessible cardinals},
  author = {Shani Cohen and Saharon Shelah},
  journal= {arXiv preprint arXiv:1603.08362},
  year   = {2023}
}
R2 v1 2026-06-22T13:19:37.579Z