Article View: sci.logic
Article #196Presburger arithmetic axiomatization
From: Jamie Andrews
Date: Thu, 13 Aug 1992 20:19
Date: Thu, 13 Aug 1992 20:19
7 lines
603 bytes
603 bytes
Where can I expect to find easily a precise and elegant axiomatization of Presburger arithmetic? (I know it's "arithmetic without multiplication" and I can think of some horrible axiomatizations; I wanted to find a nice one.) thanks --Jamie.
Technical Details
Message-ID:
<1992Aug13.201939.6369@cs.sfu.ca>Path:
arc1-ca.pugleaf.net!sparky!uunet!usc!sol.ctr.columbia.edu!destroyer!ubc-cs!fornax!jamieShow Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!usc!sol.ctr.columbia.edu!destroyer!ubc-cs!fornax!jamie From: jamie@cs.sfu.ca (Jamie Andrews) Subject: Presburger arithmetic axiomatization Message-ID: <1992Aug13.201939.6369@cs.sfu.ca> Organization: CSS, Simon Fraser University, Burnaby, B.C., Canada Date: Thu, 13 Aug 1992 20:19:39 GMT Lines: 7