带度量的创造物
逻辑
2013-01-03 v3 经典分析与常微分方程
一般拓扑
摘要
利用带度量的创造物的力迫法,我们构造了一个集合论宇宙,其中:(a) 每个上可测函数 f:RxR-->R 是可测的,且 (b) 每个函数 f:R-->R 在一个不可测集上连续。这回答了 Balcerzak、Ciesielski 和 Kharazishvili 的一个问题以及 von Weizsacker 的问题(见 Fremlin 的问题列表)。
引用
@article{arxiv.math/0010070,
title = {Measured creatures},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0010070},
year = {2013}
}