@CmonMattTHINK I had a very interesting chat with David Roberts a while ago, about his work looking at making models of maths where different kinds of continuum hypotheses are true: aperiodical.com/2017/06/the-cu…