🚀 go-pugleaf

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