home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1314 < prev    next >
Encoding:
Internet Message Format  |  1992-08-27  |  936 b 
  1. Path: sparky!uunet!mcsun!uknet!sersun1!solb1!zachr
  2. From: zachr@solb1.essex.ac.uk (Zach R)
  3. Newsgroups: sci.logic
  4. Subject: Axioms for *Skolem* arithmetic
  5. Message-ID: <5226@sersun1.essex.ac.uk>
  6. Date: 27 Aug 92 16:23:48 GMT
  7. Sender: news@sersun1.essex.ac.uk
  8. Reply-To: zach@csdec1.tuwien.ac.at
  9. Organization: University of Essex, Colchester, UK
  10. Lines: 14
  11.  
  12. Jamie Andrew's recent request for axioms for Presburger arithmetic
  13. started me thinking: What about  (natural) axiomatizations of
  14. Skolem arithmetic, ie arithmetic with only 0, 1, and multiplication.
  15. (Note there is no successor). This theory is decidable as well,
  16. but what axioms would you give for times, if you cant define
  17. it recursively from plus?
  18.  
  19. If noone has an answer, maybe someone knows the email address of
  20. C Ward Henson (currently in Tuebingen, as far as I know), I
  21. think he worked on that back in the 70s.
  22.  
  23. (BTW: Pre"sburg (Bratislava) is spelled with a sharp s)
  24.  
  25. Richard Zach
  26.