论由超滤集的力迫名所诱导的测度
逻辑
2021-05-13 v1
摘要
我们研究布尔代数A上的测度性质与A上超滤集的力迫名之间的相互作用。我们表明，布尔代数上若干著名的测度论性质（如支撑严格正测度或仅承载可分测度）在力迫语言中都有相当自然的刻画。我们展示了这种方法的一些应用。特别地，我们重新证明了Kunen的一个定理：在经典随机模型中不存在高度为的塔。
引用
@article{arxiv.2105.05339,
title = {On measures induced by forcing names for ultrafilters},
author = {Piotr Borodulin-Nadzieja and Katarzyna Cegiełka},
journal= {arXiv preprint arXiv:2105.05339},
year = {2021}
}