Re: Provable in T?


Newberry wrote:
Aatu Koskensilta wrote:
Newberry wrote:
What is the status of this?

"G_T is true in the standard model"

It's not clear what you're asking.

Is it the case that G_T is true in the standard model? If so, how do we
know it is the case? I presume "G_T is true in the standard model" is
not provable.

Do we need to say "If T is consistent then G_T is true in the standard
model"?

If T is consistent, then G_T will be true in the standard model and
also provable in T+Con(T). However, T+Con(T) may not be consistent. But
if T is sound it will be.

.

Relevant Pages

  • Re: Model here, model there
    ... consistent" is true full stop not relative to any models. ... Conis true in the standard model ... you like -- if you want to emphasize the role of the interpretation in ... reinterpretations of the non-logical vocabulary of L_T; ...
    (sci.logic)
  • Re: Godel Contradiction
    ... incomplete" but rather "IF theory T is consistent then theory T is ... true (recall 'true' means 'true in the standard model of PA' in this ... and how do you prove your meta-theory to be consistent. ... meta-theory, ad infinitum, up through meta-meta...theories. ...
    (sci.logic)
  • Re: Whats up with gravity wave detection?
    ... but general relativity and the standard model ... There is natural experiment and known natural phenomena which isn't explained by ... the current theories _are_ consistent with observation. ...
    (sci.astro)
  • Re: Whats up with gravity wave detection?
    ... but general relativity and the standard model ... There is natural experiment and known natural phenomena which isn't explained by ... the current theories _are_ consistent with observation. ...
    (sci.physics.relativity)
  • Re: Model here, model there
    ... then Conis true in the standard model. ... Conis true if and only T is consistent. ... to a number between 0 and 255, then just concatenate ... naturals, you come up with a formula Formthat is true ...
    (sci.logic)
Quantcast