Re: Non-standard models of PA

"LordBeotian" <pokispy76@[CANCELLA QUESTO]yahoo.it> writes:

> 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?

Take any standard Henkin-style proof of the completeness theorem for
first order logic. It gives you a definable model of the theory
obtained by adding to the language of PA a new constant c and to the
axioms of PA the sentences (Ez)(c=s(z)), (Ez)(c=s(s(z))),...
.

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
    ... 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)
  • Re: Non-standard models of PA
    ... >>I would like to see an explicit example af a non-standard model of PA ... >>order Peano Axioms), can anyone give me some reference? ...
    (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)