FOM: Quine and subtraction

[John Baldwin]

I want to thank Alan Hazen for pointing to the
paper 


W.V.O. Quine (Method of generating part of arithmetic
without using intuitive logic; Bulletin of A.M.S. 40 (1934) 753-761).

which answered my question about giving an equational basis for 
subtraction.

This is an excuse for thanking Harvey and Steve for starting fom which
proves such a rich resource for such queries (while also serving its
more central purposes.)

information with no moral drawn.  The Quine paper (which is, by our
standards, technically trivial although it makes nice use of canonical
forms appeared in the Bulletin of the AMS; the only reference is to
a paper by Huntington in the Annals.