[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
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
More information about the FOM
mailing list