Re: Non-standard models of PA

On 29 Aug 2005 06:08:32 -0700, Daryl McC <stevendaryl3016@xxxxxxxxx> said:
> LordBeotian" <pokispy76@[CANCELLA QUESTO]yahoo.it> says...
>>
>>
>>I would like to see an explicit example af a non-standard model of PA
>>(first order Peano Axioms), can anyone give me some reference?
>>
>>Thanks a lot
>
> As I understand it, there is a countable model of the integers (positive
> and negative whole numbers) that has the following character:
>
> *Z (the nonstandard model of the integers)
> is isomorphic to QxZ, where Q is the nonnegative
> rationals, ...

IIRC, the structure of the copies of the integers in any nonstandard
model of PA has to be dense linear order w.o. endpoints.

> ...and Z is the standard integers.

.

Relevant Pages

  • Re: Non-standard models of PA
    ... > I would like to see an explicit example of a non-standard model of PA (first ... > order Peano Axioms), can anyone give me some reference? ...
    (sci.logic)
  • Re: Non-standard models of PA
    ... >>>(first order Peano Axioms), can anyone give me some reference? ... existence of a recursively inseparable pair, ... of infinite numbers (which a non-standard model has). ...
    (sci.logic)
  • Non-standard models of PA
    ... I would like to see an explicit example af a non-standard model of PA (first ... order Peano Axioms), can anyone give me some reference? ...
    (sci.logic)
  • Re: Non-standard models of PA
    ... >> I would like to see an explicit example of a non-standard model of PA ... >> order Peano Axioms), can anyone give me some reference? ... it gives a non-standard model of PA but does it exist something easier ...
    (sci.logic)
  • Re: Non-standard models of PA
    ... > I would like to see an explicit example af a non-standard model of PA ... > (first order Peano Axioms), ...
    (sci.logic)