FOM: Remark on characterization of FOM

[Robert Tragesser]

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

From:   Robert Tragesser, 110440.3621
To:     "Moshe' Machover", INTERNET:moshe.machover at kcl.ac.uk
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