Countable choice and quote (preprint (0)

by J-L Krivine