FOM: proof-theoretic strength of topoi

Wilkins, Elwood B elwood at essex.ac.uk
Wed Sep 5 09:10:54 EDT 2001


Hello,

I'm looking for references on the proof-theoretic strength of
the internal language of topoi. Can anyone help?

Regards

Elwood Wilkins





More information about the FOM mailing list