home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1279 < prev    next >
Encoding:
Text File  |  1992-08-17  |  1.1 KB  |  27 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!wupost!gumby!destroyer!ubc-cs!fornax!jamie
  3. From: jamie@cs.sfu.ca (Jamie Andrews)
  4. Subject: Re: Presburger arithmetic axiomatization
  5. Message-ID: <1992Aug17.232231.452@cs.sfu.ca>
  6. Organization: CSS, Simon Fraser University, Burnaby, B.C., Canada
  7. References: <1992Aug13.201939.6369@cs.sfu.ca> <1992Aug16.175540.10118@waikato.ac.nz>
  8. Date: Mon, 17 Aug 1992 23:22:31 GMT
  9. Lines: 16
  10.  
  11. In article <1992Aug16.175540.10118@waikato.ac.nz> maj@waikato.ac.nz writes:
  12. >Should we be saying 'Bratislava arithmetic' now ?!
  13.  
  14.      Only if the Presburger family retroactively Slovakized
  15. their name...  :-)
  16.  
  17.      By the way, thanks to all for the suggestions.  I was
  18. thinking erroneously that standard Presburger arithmetic had
  19. negative numbers, which it doesn't.  That makes things easier,
  20. and in the restricted context in which I want to use it, I
  21. think it turns out that I can just use the Peano axioms plus
  22. those for addition and claim to be doing Presburger arithmetic.
  23.  
  24. --Jamie.
  25.   jamie@cs.sfu.ca
  26. "Every \item command in item_list must have an optional argument." LaTeX pg.168
  27.