Ω*1 as an initial segment of the c-degrees

Journal of Symbolic Logic 59 (3):956 - 976 (1994)
  Copy   BIBTEX

Abstract

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 ω 1 *

Categories

Keywords

Reprint years

DOI

10.2307/2275920

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

$omega^ast_1$ as an Initial Segment of the $c$-Degrees.Marcia Groszek - 1994 - Journal of Symbolic Logic 59 (3):956-976.
Definability and initial segments of c-degrees.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (4):1070-1081.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
Forcing notions in inner models.David Asperó - 2009 - Archive for Mathematical Logic 48 (7):643-651.
The complexity of the core model.William J. Mitchell - 1998 - Journal of Symbolic Logic 63 (4):1393-1398.
Ultrafilters of character ω 1.Klaas Pieter Hart - 1989 - Journal of Symbolic Logic 54 (1):1-15.
Degrees of d. c. e. reals.Rod Downey, Guohua Wu & Xizhong Zheng - 2004 - Mathematical Logic Quarterly 50 (4-5):345-350.
Maximal Chains in the Turing Degrees.C. T. Chong & Liang Yu - 2007 - Journal of Symbolic Logic 72 (4):1219 - 1227.
Model theory under the axiom of determinateness.Mitchell Spector - 1985 - Journal of Symbolic Logic 50 (3):773-780.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.

Analytics

Added to PP
2009-01-28

Downloads
255 (#81,535)

6 months
9 (#439,104)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Iterated perfect-set forcing.James E. Baumgartner & Richard Laver - 1979 - Annals of Mathematical Logic 17 (3):271-288.
Applications of iterated perfect set forcing.Marcia J. Groszek - 1988 - Annals of Pure and Applied Logic 39 (1):19-53.
Iterated perfectset forcing.J. E. Baumgartner - 1979 - Annals of Mathematical Logic 17 (3):271.
Lattices of c-degrees.Robert S. Lubarsky - 1987 - Annals of Pure and Applied Logic 36:115-118.
Combinatorics on ideals and forcing.Serge Grigorieff - 1971 - Annals of Mathematical Logic 3 (4):363.

Add more references