Amoeba-Absoluteness and Projective Measurability
Brendle, Jorg
J. Symbolic Logic, Tome 58 (1993) no. 1, p. 1284-1290 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We show that $\Sigma^1_4$-Amoeba-absoluteness implies that $\forall a \in \mathbb{R}(\omega^{L\lbrack a \rbrack}_1 < \omega^V_1)$ and, hence, $\Sigma^1_3$-measurability. This answers a question of Haim Judah (private communication).
Publié le : 1993-12-14
Classification:  
@article{1183744375,
     author = {Brendle, Jorg},
     title = {Amoeba-Absoluteness and Projective Measurability},
     journal = {J. Symbolic Logic},
     volume = {58},
     number = {1},
     year = {1993},
     pages = { 1284-1290},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744375}
}

Brendle, Jorg. Amoeba-Absoluteness and Projective Measurability. J. Symbolic Logic, Tome 58 (1993) no. 1, pp.  1284-1290. http://gdmltest.u-ga.fr/item/1183744375/