# 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):