Miller, 1980. There are no Q-Points in Laver's Model for the Borel Conjecture 78.. https://doi.org/10.2307/2043048