You might try the book that is referenced: Tarski, Alfred; Jan Tarski (24 March 1994). Introduction to Logic and to the Methodology of Deductive Sciences (4 ed.). USA: OUP. ISBN 978-0-19-504472-0 Or you might try to contact the wikipedia article editor. At 10:15 AM 7/7/2014, Scott Fenton wrote:
Hi all,
In Tarski's "Introduction to Logic", he gave a nice little set of eight axioms that he says uniquely define the real numbers ( http://en.wikipedia.org/wiki/Tarski%27s_axiomatization_of_the_reals). He further said that, using less than, cuts, and addition, you could define multiplication in this system. Does anyone here know if he published anything else on this system? I can't seem to dig anything up, and I'd like to know how he defined things.
Thanks, -Scott