Return to Question

edited tags

edited Dec 23 2011 at 20:56

Goldstern
5,250●1●12●27

edited tags

edited Dec 23 2011 at 20:55

Goldstern
5,250●1●12●27

view source

asked Nov 2 2011 at 6:18

David Roberts
11.7k●2●18●55

Example of a topos that violates countable choice

At this nLab page we have the line

In contrast, any topos that violates countable choice, of which there are plenty, must also violate internal COSHEP.

It doesn't give an example, and neither does the page on countable choice. So, what are these all-so-common examples?