Reflection principles and second-order choice principles with urelements. - Bokai Yao (Ann. Pure Appl. Log., 2022)

Reflective Mereology. - Bokai Yao (J. Philos. Log., 2023)

Reflection in second-order Set Theory with abundant urelements bi-interprets a Supercompact cardinal. - Joel David Hamkins; Bokai Yao (J. Symb. Log., 2024)