[FOM] Analyticity of Geometry

[Charlie]

	   I would read the fairly recent article (12-2009) by Jeremy Avigad et al. entitled “A Formal System for Euclid’s Elements,” which is available in .pdf form on the web.

	   I am unaware of Harvey’s paper, which would be of interest to me as well.  Someone please inform me how to find it— Harvey?

Charlie Silver

> On Jul 4, 2016, at 11:45 AM, Mghanga D. Mwakima <dmwakima at college.harvard.edu> wrote:
> 
> 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
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

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