TY - JOUR
T1 - A null ideal for inaccessibles
AU - Friedman, Sy David
AU - Laguzzi, Giorgio
N1 - Publisher Copyright:
© 2017, Springer-Verlag Berlin Heidelberg.
PY - 2017/8/1
Y1 - 2017/8/1
N2 - In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of 2 κ, κ inaccessible, and study its associated ideal of null sets and notion of measurability. This issue was addressed by Shelah (On CON(Dominating_lambda>cov_λ(meagre)), arXiv:0904.0817, Problem 0.5) and concerns the definition of a forcing which is κκ-bounding, < κ-closed and κ+-cc, for κ inaccessible. Cohen and Shelah (Generalizing random real forcing for inaccessible cardinals, arXiv:1603.08362) provide a proof for (Shelah, On CON(Dominating_lambda>cov_λ(meagre)), arXiv:0904.0817, Problem 0.5), and in this paper we independently reprove this result by using a different type of construction. This also contributes to a line of research adressed in the survey paper (Khomskii et al. in Math L Q 62(4–5):439–456, 2016).
AB - In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of 2 κ, κ inaccessible, and study its associated ideal of null sets and notion of measurability. This issue was addressed by Shelah (On CON(Dominating_lambda>cov_λ(meagre)), arXiv:0904.0817, Problem 0.5) and concerns the definition of a forcing which is κκ-bounding, < κ-closed and κ+-cc, for κ inaccessible. Cohen and Shelah (Generalizing random real forcing for inaccessible cardinals, arXiv:1603.08362) provide a proof for (Shelah, On CON(Dominating_lambda>cov_λ(meagre)), arXiv:0904.0817, Problem 0.5), and in this paper we independently reprove this result by using a different type of construction. This also contributes to a line of research adressed in the survey paper (Khomskii et al. in Math L Q 62(4–5):439–456, 2016).
KW - Generalized Baire space
KW - Generalized random forcing
KW - Null ideal
UR - https://www.scopus.com/pages/publications/85021148059
U2 - 10.1007/s00153-017-0562-7
DO - 10.1007/s00153-017-0562-7
M3 - Article
SN - 0933-5846
VL - 56
SP - 691
EP - 697
JO - Archive for Mathematical Logic
JF - Archive for Mathematical Logic
IS - 5-6
ER -