Re: Provable in T?

From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
Date: Sat, 12 Aug 2006 19:02:03 +0300

Newberry wrote:

What is the status of this?

"G_T is true in the standard model"

It's not clear what you're asking.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Follow-Ups:
- Re: Provable in T?
  - From: Newberry

References:
- Provable in T?
  - From: bargiax
- Re: Provable in T?
  - From: Aatu Koskensilta
- Re: Provable in T?
  - From: Newberry

Prev by Date: Re: Provable in T?
Next by Date: Re: Need help with logic proof
Previous by thread: Re: Provable in T?
Next by thread: Re: Provable in T?
Index(es):
- Date
- Thread