FOM: proof-theoretic strength of topoi

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

Previous message: FOM: Canonical codings: reply to critics
Next message: FOM: news on unprovability of P=?NP
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello,

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

Regards

Elwood Wilkins

Previous message: FOM: Canonical codings: reply to critics
Next message: FOM: news on unprovability of P=?NP
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list