%0 Journal Article %1 journals/corr/abs-1007-0825 %A Krivine, Jean-Louis %D 2012 %J Logical Methods in Computer Science %K dblp %N 1 %T Realizability algebras II : new models of ZF + DC %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1007-0825 %V 8

@article{journals/corr/abs-1007-0825, added-at = {2019-05-14T00:00:00.000+0200}, author = {Krivine, Jean-Louis}, biburl = {https://www.bibsonomy.org/bibtex/201325112066ebe39e4723c5ec31c4c15/dblp}, ee = {http://arxiv.org/abs/1007.0825}, interhash = {0b97c064443571f4be8994b13cce5303}, intrahash = {01325112066ebe39e4723c5ec31c4c15}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:51:01.000+0200}, title = {Realizability algebras II : new models of ZF + DC}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1007-0825}, volume = 8, year = 2012 }