Solovay-type characterizations for forcing-algebras
Logic
2016-09-07 v1
Abstract
We give characterizations for the (in ZFC unprovable) sentences ``Every --set is measurable" and ``Every --set is measurable" for various notions of measurability derived from well--known forcing partial orderings.
Keywords
Cite
@article{arxiv.math/9703203,
title = {Solovay-type characterizations for forcing-algebras},
author = {Jörg Brendle and Benedikt Loewe},
journal= {arXiv preprint arXiv:math/9703203},
year = {2016}
}