Many thanks to all those who responded so helpfully to my query. Here is a follow-up query. If we add axioms of additive and multiplicative commutativity to Q, we get something a little more like regular arithmetic, though still without the scheme of induction. Does this new theory, Q+, have any easy models (other than those for PA)? Bill Taylor