No CrossRef data available.
as an initial segment of the c-degreesPublished online by Cambridge University Press: 12 March 2014
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 