Let me know if you find anything. You (& Tarski) now have me intrigued! At 12:22 PM 7/7/2014, Scott Fenton wrote:
Hi Henry,
That citation's the one I found already. I'll try the editor though. Thanks for the idea.
-Scott
On Mon, Jul 7, 2014 at 1:39 PM, Henry Baker <hbaker1@pipeline.com> wrote:
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