@misc{indiciaec51b9f89b925,
  title = {Realizability algebras II : new models of ZF + DC},
  author = {Jean-Louis Krivine},
  year = {2012},
  doi = {10.2168/lmcs-8(1:10)2012},
  url = {https://arxiv.org/abs/1007.0825},
  note = {Source identifier: 1007.0825}
}