home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1266 < prev    next >
Encoding:
Internet Message Format  |  1992-08-15  |  1.0 KB
  1. Path: sparky!uunet!wupost!waikato.ac.nz!maj
  2. From: maj@waikato.ac.nz
  3. Newsgroups: sci.logic
  4. Subject: Re: Presburger arithmetic axiomatization
  5. Message-ID: <1992Aug16.175540.10118@waikato.ac.nz>
  6. Date: 16 Aug 92 17:55:40 +1200
  7. References: <1992Aug13.201939.6369@cs.sfu.ca>
  8. Organization: University of Waikato, Hamilton, New Zealand
  9. Lines: 16
  10.  
  11. In article <1992Aug13.201939.6369@cs.sfu.ca>, jamie@cs.sfu.ca (Jamie Andrews) writes:
  12. >      Where can I expect to find easily a precise and elegant
  13. > axiomatization of Presburger arithmetic?  (I know it's
  14. > "arithmetic without multiplication" and I can think of some
  15. > horrible axiomatizations; I wanted to find a nice one.)
  16. > 
  17. > thanks
  18. > --Jamie.
  19.  
  20. Should we be saying 'Bratislava arithmetic' now ?!
  21. -- 
  22. Murray A. Jorgensen [ maj@waikato.ac.nz ]    University of Waikato
  23. Department of Mathematics and Statistics     Hamilton, New Zealand      
  24. __________________________________________________________________
  25. 'Tis the song of the Jubjub! the proof is complete,
  26. if only I've stated it thrice.'
  27.