Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal Posted on April 22, 2022 by Joel David Hamkins 1