Pyramidal structure of constructibility degrees (Q1280673)

The authors construct a ZFC-model \(L[G]\) such that the degrees of constructibility include (i) degrees \(0< a_0< a_1<\cdots\); (ii) a degree \(b\), incomparable with any of the \(a_n\); (iii) \(a_0b< a_1b<\cdots\); and (iv) if \(x\in L[G]\) and \(x\not\in L[a_0,\dots, a_n,b]\) for any \(n\), then \(G\in L[x]\). This is done with the help of a modified iterated Sacks forcing.