Re: what makes it true?

Timothy Little <tim-usenet@xxxxxxxxxxxxxxxxxx> writes:

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

"The" standard model is any model isomorphic to the natural numbers.

> What if GC is undecidable in whatever system one is using for the
> standard model?

There is no such thing as "the system one is using for the standard
model".
.

Relevant Pages

  • Re: Countable models of ZFC
    ... As I understand it, the constructible universe L is constructed in stages, ... L_kappa is a model of ZFC. ... believing that kappa must be countable, but I'm not sure how to prove ... standard model for ZFC, that is, a model where the membership relation ...
    (sci.logic)
  • Re: Continuum hypothesis
    ... The third-order language of arithmetic. ... going to be ANY DIFFERENT from the UNIQUE standard model ... At 2nd-order, however, THE AXIOMS ... No, it wouldn't, BECAUSE THE CONTEXT IS ZFC. ...
    (sci.logic)
  • Re: Continuum hypothesis
    ... in tirelessly pointing this out. ... By [Phi is true in the standard model of ZFC], ...
    (sci.logic)
  • Re: Countable models of ZFC
    ... "on its own" in ZFC; ... create a standard model to MERELY restrict e to A! ... Is it a theorem that a non-standard model cannot have ...
    (sci.logic)
  • Re: Countable models of ZFC
    ... "on its own" in ZFC; ... create a standard model to MERELY restrict e to A! ... Is it a theorem that a non-standard model cannot have ...
    (sci.logic)