Thread View: sci.logic
1 messages
1 total messages
Started by Zach R
Thu, 27 Aug 1992 16:23
Axioms for *Skolem* arithmetic
Author: Zach R
Date: Thu, 27 Aug 1992 16:23
Date: Thu, 27 Aug 1992 16:23
14 lines
961 bytes
961 bytes
Jamie Andrew's recent request for axioms for Presburger arithmetic started me thinking: What about (natural) axiomatizations of Skolem arithmetic, ie arithmetic with only 0, 1, and multiplication. (Note there is no successor). This theory is decidable as well, but what axioms would you give for times, if you cant define it recursively from plus? If noone has an answer, maybe someone knows the email address of C Ward Henson (currently in Tuebingen, as far as I know), I think he worked on that back in the 70s. (BTW: Pre"sburg (Bratislava) is spelled with a sharp s) Richard Zach
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads