There are no Q-Points in Laver's Model for the Borel Conjecture

Arnold W. Miller
1980 Proceedings of the American Mathematical Society  
doi:10.2307/2043048 fatcat:yk6tobqko5eo3etnwbrs34hxki