[FOM] consistency strength of elementary hyperbolic geometry
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