FOM: power shift axiom scheme

Thomas Forster T.Forster at
Fri Apr 2 11:35:38 EST 1999

Theorem I is known.   I would be very interested to see proofs -
or skethces thereof - of the rest of Harvey's reported results.
This isn't polite scepticism - i have long believed results like
this to be true, and that Harvey is capable of proving them -
it's British understatement!
    Thomas Forster

More information about the FOM mailing list