Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal

[bibtex key=”HamkinsYao:Reflection-in-second-order-set-theory-with-abundant-urelements”] Download pdf at arXiv:2204.09766 Abstract. After reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove, second-order reflection with the abundant … Continue reading →