The intersection of algorithmically random closed sets and effective dimension - Adam Case; Christopher P. Porter (2021)