Re: locales such that the associated topos is subdiscrete?

CAUTION: The Sender of this email is not from within Dalhousie. Dear Peter,

This is NOT an open question, despite being stated as such in Jaap van Oosten's book; indeed, I knew the answer before Ieke raised the question at Jaap's PhD viva (but Ieke never bothered to ask me ...). There is a proof in my paper "Geometric morphisms of realizability toposes", TAC 28 (2013), 241.

Thanks for pointing this out but this is not the question I raised. I was rather referring to the question Martin, you and Andy raised in the second paragraph of the proof of Cor.4.2 of the paper where you introduced triposes back in 1980. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]