FOM: Remark on characterization of FOM

Robert Tragesser RTragesser at
Wed Jan 14 14:40:07 EST 1998

--------------- Forwarded Message ---------------

From:   Robert Tragesser, 110440.3621
To:     "Moshe' Machover", INTERNET:moshe.machover at
Date:   Wed, Jan 14, 1998, 02:42 PM

RE:     FOM: Remark on characterization of FOM

        Thanks for  the clarification --
        that FOM is the reflective branch of mathematics,
        that the approach is mathematical. . 
        So if the answers to Feferman's questions had a
        mathematical content/presentation,  they'd be
        fom rather than phom?
                rbrt trgssr

More information about the FOM mailing list