[FOM] Analyticity of Geometry

Mghanga D. Mwakima dmwakima at college.harvard.edu
Mon Jul 4 14:45:07 EDT 2016

Dear members of the FOM mailing list,

I am currently working on a paper on the analyticity (or lack thereof) of geometry - restricting myself to Euclidean geometry. I am aware of Tarski’s 1959 What is Elementary Geometry; and in a paper by Marvin J. Greenberg 2011 "Old and New Results in the Foundations of Elementary Plane Euclidean and Non-Euclidean Geometries” he cites Harvey Friedman’s 1999 paper "A consistency proof for elementary algebra and geometry”

So, could someone help me access Harvey Friedman’s paper? Also, are there other resources that I could use in exploring this question.

Thank you,
David Mwakima

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160704/a8b0a380/attachment.html>

More information about the FOM mailing list