There’s no forcing a least upper bound

Robert S. Lubarsky · Proceedings of the American Mathematical Society · 1989

While it is possible to have an increasing $\omega$-sequence of $c$-degrees with a least upper bound in a particular model of ZF, we show that it is not possible to force a sequence with a least upper bound absolute among all generic extensions of the original model

Read the paper · More papers on PaperTik