[FOM] reducing higher to second order?

Todd Wilson twilson at csufresno.edu
Wed Dec 17 16:27:25 EST 2003

I have seen passing references in the literature to a reduction of
higher-order logic to second-order logic, but none of the sources I
have at hand make any mention of it.  Can anyone supply a statement of
this reduction and/or point me to where it was first (or most
perspicuously) established?

Todd Wilson                               A smile is not an individual
Computer Science Department               product; it is a co-product.
California State University, Fresno                 -- Thich Nhat Hanh

More information about the FOM mailing list