Re: Presburger arithmetic axiomatization

Article View: sci.logic

Article #200

#200

From: maj
Date: Sun, 16 Aug 1992 05:55

16 lines
1060 bytes

In article <1992Aug13.201939.6369@cs.sfu.ca>, jamie@cs.sfu.ca (Jamie Andrews) writes:
>      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.

Should we be saying 'Bratislava arithmetic' now ?!
-- 
Murray A. Jorgensen [ maj@waikato.ac.nz ]    University of Waikato
Department of Mathematics and Statistics     Hamilton, New Zealand      
__________________________________________________________________
'Tis the song of the Jubjub! the proof is complete,
if only I've stated it thrice.'

Technical Details

Message-ID: <1992Aug16.175540.10118@waikato.ac.nz>

Path: arc1-ca.pugleaf.net!sparky!uunet!wupost!waikato.ac.nz!maj

References: <1992Aug13.201939.6369@cs.sfu.ca>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!wupost!waikato.ac.nz!maj
From: maj@waikato.ac.nz
Newsgroups: sci.logic
Subject: Re: Presburger arithmetic axiomatization
Message-ID: <1992Aug16.175540.10118@waikato.ac.nz>
Date: 16 Aug 92 17:55:40 +1200
References: <1992Aug13.201939.6369@cs.sfu.ca>
Organization: University of Waikato, Hamilton, New Zealand
Lines: 16

Reply to Parent Message