jdh.hamkins.org
Different set theories are never bi-interpretable
I was fascinated recently to discover something I hadn’t realized about relative interpretability in set theory, and I’d like to share it here. Namely, Different set theories extending …