FOM: Concepts of strength

Roger Bishop Jones rbjones at
Sat Jul 14 06:00:06 EDT 2001

Would any subscriber to fom be willing to attempt
a brief informal description of accepted usage of the

    proof theoretic strength
    consistency strength
    ordinal strength

in relation to formal deductive systems?

Are there any other important ways of comparing
the strength of deductive systems?

Roger Jones

More information about the FOM mailing list