[FOM] Concept Calculus/corrected version

Harvey Friedman friedman at math.ohio-state.edu
Wed Oct 25 06:41:26 EDT 2006

We have put a new version of Concept Calculus at

This is an interim version that corrects the axioms in section 1.1 for
better than and much better than. There was a problem with interpreting the
axiom of infinity in the earlier version. As we are now rushing to finish
the book "Boolean Relation Theory and Incompleteness", we will not make a
major anticipated revision of this extended abstract at this time.

Harvey Friedman

More information about the FOM mailing list