Re: what makes it true?

mareg@xxxxxxxxxxxxxxxxxxxxxxxx () wrote:
> I am just using the "the natural numbers" in the standard sense - I
> think this is normally called the standard model. (The presence or
> absence of zero is not important in this context.)

For example, the finite ordinals of ZFC? I've seen that called a
"standard model" of PA, but there may be others.

What if GC is undecidable in whatever system one is using for the
standard model? (It may be that this in particular is impossible, but
there certainly will be arithmetical statements that *are* undecidable
in such a model)


> Yes, and the situation is complicated by the fact that many people
> claim to be believe one while behaving as thoguh they believe the
> other.

That is a complication, yes.


- Tim
.

Relevant Pages

  • Re: continuum hypothesis and 0=1
    ... In this context "standard model" refers to the structure of naturals ... particular set of axioms"? ...
    (sci.math)
  • Re: what makes it true?
    ... Robert Low writes: ... > In this context, the word 'true' is understood (or is supposed ... do we need to even introduce the concept of the standard model in this ... mathematicians feel no need to go on about "the standard ...
    (sci.math)
  • Re: what makes it true?
    ... >> think this is normally called the standard model. ... >> absence of zero is not important in this context.) ... >there certainly will be arithmetical statements that *are* undecidable ... reason why GC was true. ...
    (sci.math)
  • Re: what makes it true?
    ... the finite ordinals of ZFC? ... "The" standard model is any model isomorphic to the natural numbers. ... Prev by Date: ...
    (sci.math)