Bill Taylor W.Taylor at math.canterbury.ac.nz
Thu Sep 20 22:30:06 EDT 2007

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

More information about the FOM mailing list