Re: does countable choice survive booleanization?

Alex Simpson has just told me that the answer to my question is simple: all presheaf toposes validate ICC but certainly not all their booleanizations since there are many boolean Groth. toposes not validating ICC. Thank you Alex! Alas, this doesn't answer the question for booleanizations of generalized relative realizability toposes as e.g. the Kleene Vesley topos. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]