[FOM] What is the consistency strength of EK?

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Mon Feb 27 05:19:08 EST 2006


Interested fom-ers might wish to investigate the consistency strength of
the system implicit in the following:

Evel Knievel To Attempt Huge Leap In Logic
http://www.theonion.com/content/node/29617

Thanks to Stu Shapiro for the link, and the therapy it provided.

Neil Tennant



More information about the FOM mailing list