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