MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

That is wrong or right about this question and answer?

Question: Is there a cardinality which is greater than the continuum?

Answer: Yes and No. If there is a Universe where a given cardinal kappa is greater than the size of the continuum, then there is a Generic-Extension of this Universe where the size of the continuum is greater than kappa.

Edit: This question is basically about the size of the continuum, which has been discussed several times on mathoverflow. It is also about the philosophical position of whether there is the reality of the multiverse.

share|cite|improve this question

closed as not a real question by Andrés E. Caicedo, algori, Todd Trimble, Qiaochu Yuan, Mark Sapir Nov 3 '11 at 4:15

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

If there is no cardinality greater than the continuum, then what would the cardinality of the power set of the reals be? – M Turgeon Nov 3 '11 at 0:51
I think she's pointing out (asking?) that for any particular cardinal in your current model of ZFC, you can pass to an extension where the extension's continuum is bigger than this set (in the extension). Is this right? – Richard Rast Nov 3 '11 at 0:57
The point seems to be that modal operators like "it is provable in ZFC that" or "it is true in all forcing extensions of the universe that" don't commute with "there is". In particular, it is true that, "in all forcing extensions of the universe, there is a cardinal greater than the continuum", but it is false that "there is a cardinal that is, in all forcing extensions, greater than the continuum." My answer refers to the former (in the stronger version with "it is provable in ZFC that"), while Richard Rast's comment refers to the latter. – Andreas Blass Nov 3 '11 at 13:41
up vote 10 down vote accepted

In ordinary set theory, "Yes" is right and "No" is wrong. Even after you generically extend the universe to make the cardinal of the continuum bigger than a given $\kappa$, there are plenty of other cardinals that are even bigger than your new continuum. As M Turgeon says, to avoid cardinals larger than the continuum, you'd have to revoke the axiom of power set.

Before he became a science fiction writer, Rudy Rucker did some work on the set theory that you get by revoking power set and adding Martin's axiom for all cardinals. That makes the continuum a proper class.

There has also been a little work on a set theory that allows only countably infinite sets, like what you'd get by generically collapsing all cardinals. But all these ways of getting a "No" answer to your question are far from the usual set theory and are probably best understood as being about some notion other than "set".

share|cite|improve this answer
Thank you for pointing out the problem with the question. And, the problem with the solution because it doesn't really address the question. Also, I see your out of the box way of answering "No". The question and answer are interesting to me as a pair. – Erin Carmody Nov 3 '11 at 1:48
a thorough answer on a question about a question and answer – Pietro Majer Nov 3 '11 at 10:16

Not the answer you're looking for? Browse other questions tagged or ask your own question.