The intersection of algorithmically random closed sets and effective dimension.