Re: non-standard model of PA


"Frederick Williams" <Frederick.Williams1@xxxxxxxxxxxxxxxxxxxxxxxxx> ha scritto

Could you show me a reasonably simple example of non-standard model of Peano
Arithmetic?

Yes. Take the integers and replace each one by the rationals, tag the
result on to the end of the naturals.

You should specify what are the successor function, addition and multiplication for this strange set.

.

Relevant Pages

  • Re: Reals without infinity
    ... result of a finite sequence of applications of the successor function ... This is not the same as asserting that the _set_ of all naturals ... To show an isomorphism: in ZF, we have the axiom of infinity, and it's ...
    (sci.math)
  • Re: urelements and the natural numbers
    ... the successor function with set operators and we're ... That's the way it's done on our "standard" set theory ZF, ... in ZF"everything is a set" (i.e. no urelements). ... naturals in the lambda calculus. ...
    (sci.math)
  • Re: urelements and the natural numbers
    ... the successor function with set operators and we're ... in ZF"everything is a set" (i.e. no urelements). ... naturals in the lambda calculus. ... the axioms of set theory, we simply do not need to add all those stuff ...
    (sci.math)
  • Re: infinity
    ... >>> finite you specify, that does NOT mean it's infinite, since there ... >>> is always a FINITE number greater than any finite you specify. ... just that it's bigger than any finite you specify. ... And every bound on the set of finite naturals must be greater ...
    (sci.math)
  • Re: urelements and the natural numbers
    ... To treat naturals as ur-elements it's sufficient to have 0 and the ... successor function, and to stipulate induction holds. ...
    (sci.math)