@article{Krivine2, author = {Krivine, Jean-Louis}, month = {jan}, title = {Realizing the axiom of dependent choice}, year = {2} }