Measured creatures (Q2382345): Difference between revisions

The paper under review is a part of the authors' program to investigate the family of forcing notions with norms on possibilities [see \textit{A.~Rosłanowski} and \textit{S.~Shelah}, ``Norms on possibilities. I: Forcing with trees and creatures'', Mem. Am. Math. Soc. 671 (1999; Zbl 0940.03059) and ``Norms on possibilities. II: More ccc ideals on \(2^\omega\)'', J. Appl. Anal. 3, 103--127 (1997; Zbl 0889.03036)]. The authors introduce and investigate a new family of such forcing notions, and use those notions to solve two well-known problems concerning real functions [see \textit{K.~Ciesielski}, ``Set theoretic real analysis'', J. Appl. Anal. 3, 143--190 (1997; Zbl 0901.26001)]. Namely, they prove that it is consistent that (1) every sup-measurable function is Lebesgue measurable; (2) for every function \(f:{\mathbb R}\to {\mathbb R}\) there exists a continuous function \(g:{\mathbb R}\to {\mathbb R}\) such that the set \([f=g]\) has positive outer Lebesgue measure.