FOM: Thanks to Friedman et al.

[Colin McLarty]

        I want to thank Harvey Friedman and others who kept explaining to me
just what provability is provable where. Bill Tait and Mic Detlefsen helped
with posts to FOM, and John Mayberry and Robert Black privately. As Harvey
said, it is not a complicated point. But I was stuck on the idea that if ZF
can't prove "the quantified statement" about consistency of ZFC fragments,
then surely EFA could not--a correct principle per se but irrelevant here
since there were different statements involved.