We give characterizations for the (in ZFC unprovable) sentences "Every $\Sigma^1_2$-set is measurable" and "Every $\Delta^1_2$-set is measurable" for various notions of measurability derived from well-known forcing partial orderings.
Publié le : 1999-09-14
Classification:
03E15,
54A05,
28A05,
03E35
@article{1183745883,
author = {Brendle, Jorg and Lowe, Benedikt},
title = {Solovay-Type Characterizations for Forcing-Algebras},
journal = {J. Symbolic Logic},
volume = {64},
number = {1},
year = {1999},
pages = { 1307-1323},
language = {en},
url = {http://dml.mathdoc.fr/item/1183745883}
}
Brendle, Jorg; Lowe, Benedikt. Solovay-Type Characterizations for Forcing-Algebras. J. Symbolic Logic, Tome 64 (1999) no. 1, pp. 1307-1323. http://gdmltest.u-ga.fr/item/1183745883/