[FOM] Concept Calculus Reference

[Harvey Friedman]

The current state of Concept Calculus is documented by the pdf file

Concept Calculus, July 27, 2006 at

http://www.math.ohio-state.edu/%7Efriedman/manuscripts.html

This contains the contents of the recent FOM postings, Concept Calculus 1-5,
as well as some new material.

It also corrects the theory in Concept Calculus 5,
http://www.cs.nyu.edu/pipermail/fom/2006-July/010649.html section 17, where
we wrote

"BASIC. Nothing is better than itself. If a first thing is better than a
second thing, and the second thing is better than a third thing, then the
first thing is better than the third thing. The only things that a real
thing can be better than, are real."

This should be 

BASIC. Nothing is better than itself. If a first thing is better than a
second thing, and the second thing is better than a third thing, then the
first thing is better than the third thing. Something is real.

("the only things that a real thing can be better than, are real" follows
from Basic and the other axioms of section 17).

Harvey Friedman