Bokai Yao

According to our database¹, Bokai Yao authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Reflection in second-order Set Theory with abundant urelements bi-interprets a Supercompact cardinal.

[BibT_eX]

[DOI]

J. Symb. Log., 2024

2023

Reflective Mereology.

[BibT_eX]

[DOI]

J. Philos. Log., August, 2023

2022

Reflection principles and second-order choice principles with urelements.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022