By what methods can we identify sentences that are true in the standard model of set theory, but not in other models? In particular, how do we prove that Gödel sentences are true in the standard model? Many answers on Math SE suggest to think of them as simply undecidable, but I'd like to understand what makes them different from the continuum hypothesis in this regard. It seems that the set theory axioms pretty much exhaust our intuition about sets, yet there are truths about sets that are not provable from them.

One explanation I read is that Gödel's proof in addition assumes consistency, which we have to believe if we believe in the standard model. But why would the consistency assumption single out the standard model as opposed to any other? Also, sentences of set theory are about sets, they can express something like consistency only when reinterpreted using some external numbering scheme for formulas (Gödel numbering). Even if Gödel sentences are "intuitively" true under such reinterpretation (because they "say" I am unprovable, and they are), how do we prove that they are also "internally" true, in their original meaning as statements about sets?

  • $\begingroup$ This article by Solomon Feferman attempts to answer the question posed in your first sentence. $\endgroup$ – goblin Jun 30 '15 at 22:08
  • $\begingroup$ There is no such thing as the standard model of set theory. A standard model of set theory is simply a set that models ZFC when membership is interpreted in the usual way. Arithmetic statements hold in a standard model of ZFC iff they hold in the standard model of PA viz $(\omega, + , .)$ and Godel's sentences are true there. Since there is no unique standard model of ZFC, truth of CH has no obvious meaning. $\endgroup$ – hot_queen Jul 1 '15 at 1:44
  • 4
    $\begingroup$ Well, one might argue that there is a unique standard model of ZFC: the "true" one. There are certainly set theorists (and mathematicians in general) who are Platonist in this sense, and to them CH has a definite truth value, even if it is not known. Now, I do not agree with this at all, but it is still a real philosophy of mathematics which is used by mathematicians, so the phrase "the standard model of set theory" is not a priori meaningless. $\endgroup$ – Noah Schweber Jul 1 '15 at 2:37
  • $\begingroup$ Yep. Its such a shame that "standard model" has a technical meaning. Honestly, this produces nothing but confusion. $\endgroup$ – goblin Jul 1 '15 at 2:53
  • 1
    $\begingroup$ What is the standard model of $\sf ZFC$? $\endgroup$ – Asaf Karagila Jul 1 '15 at 4:46

As Noah points out, in the context of $\sf PA$ we have a unique "very nice" model which has very nice properties. $\Bbb N$, we can show that any well-founded model of $\sf PA$ is isomorphic to it, and we know that this model exists, if we assume a sufficient meta-theory. So in the context of arithmetic, we can say "the standard model" and confuse between "true" and "true in the standard model".

In the case of set theory, there is no such thing. For several reasons:

  1. While many people would argue that $\sf ZFC$ is self-evident, some people might disagree. It is much harder to argue against the natural numbers, though.

  2. Even if $\sf ZFC$ is in fact self-evident, what sort of uniqueness can we expect from a canonical model? In comparison to $\sf PA$, when moving to a second-order theory (i.e., taking the second-order axiom of replacement instead of a schema), we can prove that any model is necessarily $V_\kappa$ for an inaccessible $\kappa$. But without adding more assumptions about what sort of large cardinals are in the universe, or what large cardinals are in the model, we cannot guarantee uniqueness.

  3. The term "standard model" in set theory, means that the model, which is a pair $(M,E)$ where $E$ is a binary relation over $M$, is such that $E=\in$. So $M$ agrees with the background universe about the membership relation; and that the model is transitive, namely if $x\in M$ and $y\in x$, then $y\in M$.

  4. The crux is that if there is a standard model, then there are many of them. Forcing takes a countable transitive model, and constructs a different countable transitive model.

    And depending on your meta-theory, there might be many many many different countable transitive models (e.g. what sort of large cardinal assumptions are true). In particular, there will be transitive models where $\sf CH$ is true and others where it is not.

And now we can turn our attention to your question about the Gödel sentences. This is really a statement about the natural numbers [of the model]. But as luck would have it, if $M$ is a transitive model, then it agrees with the universe about $\omega$, and about its first-order theory of $\sf PA$.

In particular it agrees with the universe about whether or not Gödel sentences ares true or false. And in particular, any standard model agrees with any other standard model, and with any inner model and with the entire universe, about these sort of questions.

And this is what makes it so different from $\sf CH$. While statements about sets can sometimes be changed by forcing, statements about the natural numbers are robust. They can be changed by considering other models, but not standard models, not models which are isomorphic or otherwise elementarily equivalent to standard models, or any model which just happened to agree with the universe about the set $\omega$ (these are called $\omega$-models).

That means that the completeness theorem ensures us that if something is not provable from $\sf ZFC$ we can find a model where it is false; but nothing tells you how that model looks like. More specifically, from a set theoretic vantage point, this model will not be particularly nice. It would be ill-founded, and will have non-standard integers.

  • $\begingroup$ Thank you, this is what I was looking for. Gödel mentioned that his incompleteness results would hold for any consistent recursively axiomatizable theory with arithmetic back in 1930s, before many facts about models and forcing were known. Did he realize that arithmetic is always robust in such theories (if it is), or did he mean something else by "true" in "true but unprovable"? $\endgroup$ – Conifold Jul 2 '15 at 18:48
  • $\begingroup$ I think that Gödel was a Platonist, so when he said "true" he meant "true". $\endgroup$ – Asaf Karagila Jul 2 '15 at 18:55
  • $\begingroup$ He was around logical positivists at the time (especially Carnap), he became a full platonist later. But his "true" would not have been accepted by Hilbert, Carnap, Tarski, etc. without a strong argument. Original 1931 proof was for Russell's set theory, which is notoriously complicated (not sure what its models are), and I wonder why he didn't just neutrally say "undecidable" instead of "true but unprovable". $\endgroup$ – Conifold Jul 2 '15 at 19:11
  • 1
    $\begingroup$ I think that at this point the uniqueness of $\Bbb N$ a model of $\sf PA_2$ was already established. So in a "fixed" universe of mathematics, there can be only one. $\endgroup$ – Asaf Karagila Jul 2 '15 at 19:18

The crux of the matter is that (people claim) we have evidence that PA is consistent, but we do not have similar evidence that CH is true. Note that "true in the standard model of set theory" is (basically) synonymous with "true."

Why is this? Well, let's begin with: why do we believe PA is consistent? Usually, actually, a stronger assertion is made: PA is true. The reasoning behind each claim is often, "We have intuitive access to the natural numbers, and this includes the knowledge that they satisfy PA." (If this sounds circular to you, don't worry, you're in good company.)

Now let's leave aside the issue of how convincing or not our ability to visualize the natural numbers is as an argument for the consistency of PA, and look at CH. First, note that we arguably know how to convince ourselves that PA is consistent: all it takes is the ability to find a single ordered semiring in which PA is true, and what goes on in other ordered semirings doesn't matter. By contrast, if we had a model of ZFC+CH, this would only be evidence for the consistency, not truth, of CH; in order for the existence of a model $M$ of ZFC+CH to count as evidence for the truth of CH, we would need

  • a reason to believe that $M$ is the standard model of set theory, or

  • a reason to believe that $M$ is similar to the standard model of set theory, at least as far as CH is concerned.

This difficulty is compounded by forcing, which lets us explicitly build a model of ZFC+CH from a model in which CH fails, and vice versa, while preserving many nice properties (such as well-foundedness). This (in my mind) kills off, for example, the hope of arguing that there is a single model of set theory which is somehow "within reach": simple models have simple forcing extensions.

So now on to your first sentence:

By what methods can we identify sentences that are true in the standard model of set theory?

Here's one approach: identify mathematical properties which, according to some philosophy, the standard model of set theory must have; then, show that these mathematical properties imply/disprove the statement in question.

For example . . .

  • There are arguments that the standard model of set theory satisfies "V=L"; insofar as you buy the philosophy behind these arguments, these are also arguments for CH being true. However, they tend to be unpopular.

  • Large cardinals are very "in" these days (:P), but they don't settle CH (although they do imply, for instance, projective determinacy, and so many set theorists believe that projective determinacy is "true in the standard model").

  • Forcing axioms - such as PFA - imply that $2^{\aleph_0}=\aleph_2$; on those rare days when I believe in the standard universe of set theory, I tend to believe in this direction, but I think that might be rarer (more common is the belief that forcing axioms hold in inner models; this is basically large cardinals round two).

  • Woodin has examined some other means of settling CH, but I know less in this direction; basically, one of his approaches ("Ultimate L") is to argue that, assuming large cardinals hold in the "real" universe $V$, there is an inner model $N$ which is "large" (i.e., has the same large cardinals as $V$) and has many nice canonical features, including CH. One can then make arguments that $V$ "ought to" be equal to its own $N$.

For more and better information on these and other arguments, see https://mathoverflow.net/questions/23829/solutions-to-the-continuum-hypothesis.

EDIT: The lectures etc. at http://logic.harvard.edu/efi.php#multimedia might be of interest to you; they discuss the nature of mathematical truth, the definiteness of mathematical statements, and whether CH has a truth value.

  • $\begingroup$ "First, note that in some sense it's easier to know that PA is consistent than to know it's inconsistent" this doesn't seem right to me. To know that PA is inconsistent, all we need is to find a single contradiction. $\endgroup$ – goblin Jul 1 '15 at 1:02
  • $\begingroup$ Yeah, that was bad writing on my part - fixed. $\endgroup$ – Noah Schweber Jul 1 '15 at 2:13
  • $\begingroup$ Sweet. It reads better now. $\endgroup$ – goblin Jul 1 '15 at 2:18
  • $\begingroup$ Great answer, thank you. I accepted Asaf Karagila's answer because I was especially interested in how Gödel managed to establish something non-controversial about a subject like "the standard model", discussions of which usually venture into philosophy. But your explanation of intuitions behind PA and CH was very helpful and illuminating. $\endgroup$ – Conifold Jul 2 '15 at 18:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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