Re: Non standard models of PA

From: george <greeneg@xxxxxxxxxx>
Date: Mon, 22 Oct 2007 10:44:24 -0700

On Oct 22, 1:41 pm, aatu.koskensi...@xxxxxxxxx wrote:

Yes. Every consistent theory has a Delta-2 model.

Excuse me for lacking context...
"Every" unqualified is B R O A D.
Is this every theory of arithmetic, every recursively
axiomatizable first order theory, or, really, EVERY theory?

.

Follow-Ups:
- Re: Non standard models of PA
  - From: aatu . koskensilta

References:
- Non standard models of PA
  - From: Herman Jurjus
- Re: Non standard models of PA
  - From: aatu . koskensilta

Prev by Date: Re: Non standard models of PA
Next by Date: Re: A garbage free logic forum?
Previous by thread: Re: Non standard models of PA
Next by thread: Re: Non standard models of PA
Index(es):
- Date
- Thread