Re: Non-standard models of PA


"H. Enderton" <hbe@xxxxxxxxxxxxxxxxxxx> ha scritto

>>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?
>
> Don't get your hopes up too high. It is well known that in such
> a model, addition and multiplication can't both be recursive.

Why? (If there is a simple expaination)


.

Relevant Pages

  • 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)
  • 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
    ... LordBeotian wrote: ... > 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
    ... >>>(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)