5 Sep
2001
5 Sep
'01
12:49 a.m.
Hello, I'm looking for references on the proof-theoretic strength of the internal language of topoi. Can anyone help? Regards Elwood Wilkins