Constructibility real degrees in the side-by-side Sacks model
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.
Fields of Study & Subjects
Advanced Topology and Set Theory
Computability
Logic
AI Algorithms
Economic theories and models
Publication details
- Journal / source
- Annals of Pure and Applied Logic
- Publisher
- Elsevier BV
- Volume
- 177
- Issue
- 5
- Pages
- 103722–103722
- Publication date
- 8 January 2026
- Language
- EN