@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},
}