Article View: sci.logic
Article #208Re: Presburger arithmetic axiomatization
From: Jamie Andrews
Date: Mon, 17 Aug 1992 23:22
Date: Mon, 17 Aug 1992 23:22
16 lines
1151 bytes
1151 bytes
In article <1992Aug16.175540.10118@waikato.ac.nz> maj@waikato.ac.nz writes:
>Should we be saying 'Bratislava arithmetic' now ?!
Only if the Presburger family retroactively Slovakized
their name... :-)
By the way, thanks to all for the suggestions. I was
thinking erroneously that standard Presburger arithmetic had
negative numbers, which it doesn't. That makes things easier,
and in the restricted context in which I want to use it, I
think it turns out that I can just use the Peano axioms plus
those for addition and claim to be doing Presburger arithmetic.
--Jamie.
jamie@cs.sfu.ca
"Every \item command in item_list must have an optional argument." LaTeX pg.168
Technical Details
Message-ID:
<1992Aug17.232231.452@cs.sfu.ca>Path:
arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!wupost!gumby!destroyer!ubc-cs!fornax!jamieReferences:
<1992Aug13.201939.6369@cs.sfu.ca> <1992Aug16.175540.10118@waikato.ac.nz>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!wupost!gumby!destroyer!ubc-cs!fornax!jamie From: jamie@cs.sfu.ca (Jamie Andrews) Subject: Re: Presburger arithmetic axiomatization Message-ID: <1992Aug17.232231.452@cs.sfu.ca> Organization: CSS, Simon Fraser University, Burnaby, B.C., Canada References: <1992Aug13.201939.6369@cs.sfu.ca> <1992Aug16.175540.10118@waikato.ac.nz> Date: Mon, 17 Aug 1992 23:22:31 GMT Lines: 16