Re: continuum hypothesis and 0=1

On 5 mar, 11:54, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx> wrote:
On 2007-03-04, Pierre-Yves.Gaill...@xxxxxxxxxxxxxxx wrote:
What is the "standard model"?

In this context "standard model" refers to the structure of naturals
together with addition, multiplication and the successor function.

How do you define a "natural"?

.

Relevant Pages

  • Re: practical application of Godels Incompleteness Theorem
    ... Godel's original proofs do NOT require definining 'the standard model ... mathematics. ... regards the naturals as the standard model of arithmetics, ...
    (sci.logic)
  • 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: continuum hypothesis and 0=1
    ... In this context "standard model" refers to the structure of naturals ... particular set of axioms"? ...
    (sci.math)
  • Re: practical application of Godels Incompleteness Theorem
    ... Godel's original proofs do NOT require definining 'the standard model ... First of all, had Godel not "made use" the notion of the naturals, would ... universal quantifier, so that the universal quantifier maps to the set ...
    (sci.logic)
  • Re: help with Godels
    ... Let b some nonstandard model of the ... naturals with fx a nonstandard "successor" ... Phi will be true of. ... The truths of the standard model are all obtainable ...
    (sci.logic)
Quantcast