Personal information

Websites & social links

Personal website

Activities

Collapse all

Employment (2)

Peking University: Beijing, CN

2023-11-01 to present | Assistant Professor (Philosophy)
Employment
Source: Self-asserted source
Bokai Yao

University of Notre Dame: South Bend, IN, US

2017-09 to 2023-05-21 | PhD (Philosophy)
Employment
Source: Self-asserted source
Bokai Yao

Works (6)

AXIOMATIZATION AND FORCING IN SET THEORY WITH URELEMENTS

The Journal of Symbolic Logic
2024-11-11 | Journal article
DOI: 10.1017/jsl.2024.58
Contributors: BOKAI YAO
Source: check_circle
Crossref

REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL

The Journal of Symbolic Logic
2024-09 | Journal article
DOI: 10.1017/jsl.2022.87
Contributors: JOEL DAVID HAMKINS; BOKAI YAO
Source: check_circle
Crossref

Boolean-Valued Models of Set Theory with Urelements

Notre Dame Journal of Formal Logic
2024-05-01 | Journal article
DOI: 10.1215/00294527-2024-0013
Part of ISSN: 0029-4527
Contributors: Xinhe Wu; Bokai Yao
Source: Self-asserted source
Bokai Yao

Reflective Mereology

Journal of Philosophical Logic
2023-08 | Journal article
DOI: 10.1007/s10992-023-09702-x
Contributors: Bokai Yao
Source: check_circle
Crossref

Reflection principles and second-order choice principles with urelements

Annals of Pure and Applied Logic
2022 | Journal article
DOI: https://doi.org/10.1016/j.apal.2021.103073
Part of ISSN: 0168-0072
Contributors: Bokai Yao
Source: Self-asserted source
Bokai Yao

ABILITY AND THE PAST

American Philosophical Quarterly
2019-10 | Journal article
DOI: 10.2307/48563052
Part of ISSN: 0003-0481
Contributors: Yao, Bokai
Source: Self-asserted source
Bokai Yao
How many people are using ORCID?