Constructibility real degrees in the side-by-side Sacks model
arXiv:2504.04902 · doi:10.1016/j.apal.2026.103722
Abstract
We study the join-semilattice of constructibility real degrees in the side-by-side Sacks model, the model of set theory obtained by forcing with a countable-support product of infinitely many Sacks forcings over the constructible universe. In particular, we prove that in the side-by-side Sacks model the join-semilattice of constructibility real degrees is rigid, i.e. it does not have non-trivial automorphisms.
18 pages