Consistently there is no non trivial ccc forcing notion with the Sacks or Laver property

From MaRDI portal
Publication:5955204