[FOM] reducing higher to second order?

[Todd Wilson]

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