I am interested to hear opinions of what my fellow teammates may have concerning whether or not the continuum hypothesis may still be provable in a different set theory besides ZFC. As far as I know, undecideability of the c hypothesis has also been proven for one other model (Peano's Postulates? not sure), but there are plenty of models left, of course. Some, unfortunately, have different definitions of sets that make it harder to ground the original Cantorian question. Anyways, there's plenty of other set theories and I want to know what you think about them! For example, is it harder to work with set theories that have higher consistency strengths, such as Ramsey, or n-Huge? Is there another set theoretic framework that has an even greater consistency than n-Huge?
All questions are up for grabs! Take your pick and I'd be interested in knowing.
I am interested to hear opinions of what my fellow teammates may have concerning whether or not the continuum hypothesis may still be provable in a different set theory besides ZFC. As far as I know, undecideability of the c hypothesis has also been proven for one other model (Peano's Postulates? not sure), but there are plenty of models left, of course. Some, unfortunately, have different definitions of sets that make it harder to ground the original Cantorian question. Anyways, there's plenty of other set theories and I want to know what you think about them! For example, is it harder to work with set theories that have higher consistency strengths, such as Ramsey, or n-Huge? Is there another set theoretic framework that has an even greater consistency than n-Huge?
All questions are up for grabs! Take your pick and I'd be interested in knowing.