[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

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

Neil Tennant

More information about the FOM mailing list