$\omega^\ast_1$ as an Initial Segment of the $c$-Degrees

Groszek, Marcia

Groszek, Marcia

J. Symbolic Logic, Tome 59 (1994) no. 1, p. 956-976 / Harvested from Project Euclid

Résumé

By an "inverse iteration" of Sacks forcing over a model of $V = L$, we produce a model in which the degrees of constructibility of nonconstructible reals have order type $\omega_1^\ast$.

Publié le : 1994-09-14
Classification:

@article{1183744560,
     author = {Groszek, Marcia},
     title = {$\omega^\ast\_1$ as an Initial Segment of the $c$-Degrees},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 956-976},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744560}
}

Groszek, Marcia. $\omega^\ast_1$ as an Initial Segment of the $c$-Degrees. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  956-976. http://gdmltest.u-ga.fr/item/1183744560/