@inproceedings{richard1975on, title={On the consistency of Borel's conjecture}, author={Richard Laver}, url={http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20170108203240919365210}, booktitle={Acta Mathematica}, volume={137}, number={1}, pages={151-169}, year={1975}, }