[FOM] Fwd: invitation to comment

William Tait williamtait at mac.com
Sun May 22 14:34:23 EDT 2011


> So in this respect, Gödel's proof of Con_{PA} in the Dialectica paper  is superior to Gentzen's, for it begins with nothing more than the mere acceptance of the finite types based on the natural numbers. For once we simply admit these, the theory T is given: finite iteration applied to operations on domains D that are k-tuples of finite types is given.

please read "Cartesian products of some k finite types" for  " k-tuples of finite types".

Bill Tait

More information about the FOM mailing list