On Fri, Dec 13, 2019 at 4:41 AM Paul Blain Levy <p.b.levy at cs.bham.ac.uk> wrote: > > Dear Harvey, > > I'm puzzled by your claim that every "foundational scheme that has ever > been seriously proposed" has the same Pi01 strength as ZFC. I never said that. I agree that this "claim" which I never made, is false. Harvey Friedman