Re: A question on GIT.

From: Herman Jurjus (h.jurjus_at_hetnet.nl)
Date: 09/09/04 

Date: Thu, 09 Sep 2004 21:37:58 +0200

peter_douglass wrote:
> "Herman Jurjus" wrote in message
> news:2qan75Ftaq0lU1@uni-berlin.de...

[snip]

I need to work a bit on a good reply to your post. In the meantime,
however, i can reply to this:

> What do you mean by "the only models of your theory would
> be non-standard?" What do you mean by non-standard numbers?

There exist models of PA (or Presburger Arithmetic, for that matter)
that contain an element x such that
   0 < x, 1 < x, 2 < x, etc.
This is a consequence of what one calls the 'compactness theorem' for
first order predicate logic.
Such 'unintended' models of PA are called non-standard, and x's having
that property are called non-standard. 

-- 
Cheers,
Herman Jurjus

Relevant Pages

  • Re: Code Review? memory management in C
    ... snip ... ... Consider using ggets/fggetsfor reading the lines. ... These are non-standard but there is at least one public domain ...
    (comp.lang.c)
  • Re: here is some problem in structures
    ... Nonstandard header. ... Avoid. ... Non-standard function. ...
    (comp.lang.c)
  • Re: Global var in Balance calculation
    ... CBFalconer said: ... Thks for your help... ... non-standard. ...
    (comp.lang.c)
  • Re: A question on GIT.
    ... "Herman Jurjus" wrote in message ... > that property are called non-standard. ... The axioms of PA are a superset of the axioms of Presburger ...
    (sci.logic)
  • Re: A question on GIT.
    ... >>There exist models of PA (or Presburger Arithmetic, for that matter) ... is it true that the only models would be non-standard? ... If PA is inconsistent and Presburger is not, ... Herman Jurjus ...
    (sci.logic)