[FOM] consistency strength of elementary hyperbolic geometry

Rupert McCallum rupertmccallum at yahoo.com
Sat May 26 02:28:32 EDT 2007

Harvey Friedman mentioned a result he had that it can be proved in EFA
that elementary Euclidean geometry is complete and consistent. What is
the best corresponding result known for hyperbolic geometry?

Sucker-punch spam with award-winning protection. 
Try the free Yahoo! Mail Beta.

More information about the FOM mailing list