[FOM] consistency strength of elementary hyperbolic geometry

[Rupert McCallum]

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.
http://advision.webevents.yahoo.com/mailbeta/features_spam.html