Concept Calculus/corrected version

We have put a new version of Concept Calculus at
http://www.math.ohio-state.edu/%7Efriedman/manuscripts.html

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