Thomas Forster T.Forster at dpmms.cam.ac.uk
Tue Dec 30 09:41:54 EST 2003

`FFF' is the TLA for Friedman's Finite Form of Kruskal's
tree theorem (trees over a WQO)

   I'm steeling myself to lecture WQO theory next term, and 
i discover in my notes the bold assertion that FFF is the
earliest example of a simple arithmetical assertion not provable 
in (for example) PA - that is  **mathematically natural**

   This is true isn't it?  Or have my ageing neurons let another
piece of history slip through their grasp?


More information about the FOM mailing list