We prove the following conjecture of Furstenberg (1969): if π΄,π΅β[0,1] are closed and invariant under Γπ mod1 and Γπ mod1, respectively, and if logπ/logπββ, then for all real numbers π’ and π£,
dim_H (π’π΄ + π£) β© π΅ β€ max {0, dim_H π΄ + dim_H π΅ β 1}.
We obtain this result as a consequence of our study on the intersections of incommensurable self-similar sets on β. Our methods also allow us to give upper bounds for dimensions of arbitrary slices of planar self-similar sets satisfying SSC and certain natural irreducible conditions.