Measured creatures
Logic
2013-01-03 v3 Classical Analysis and ODEs
General Topology
Abstract
Using forcing with measured creatures we build a universe of set theory in which: (a) every sup-measurable function f:RxR-->R is measurable, and (b) every function f:R-->R is continuous on a non-measurable set. This answers a question of Balcerzak, Ciesielski and Kharazishvili and von Weizsacker's problem (see Fremlin's list of problems).
Keywords
Cite
@article{arxiv.math/0010070,
title = {Measured creatures},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0010070},
year = {2013}
}