Bokai Yao

Orcid: 0000-0002-7541-8714

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Axiomatization and forcing in Set Theory with urelements.

[DOI]

J. Symb. Log., 2026

2025

Abstraction Principles and the Size of Reality.

[DOI]

Rev. Symb. Log., 2025

2024

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

[DOI]

J. Symb. Log., 2024

2023

Reflective Mereology.

[DOI]

J. Philos. Log., August, 2023

2022

Reflection principles and second-order choice principles with urelements.

[DOI]

Ann. Pure Appl. Log., 2022