姚博凯，宁夏银川人，助理教授。研究领域为集合论和数学哲学。主要研究带有无素（urelements）的集合论，包括无素集合论的公理化以及无素集合论中的力迫法，选择公理的相关原则和大基数公理。哲学兴趣包括集合论公理的哲学基础，抽象原则，以及分体论与集合论之间的关系。

个人主页： bokaiyao.com

邮箱：bkyao@pku.edu.cn 

教育经历：

2011-2015

哲学学士，武汉大学

2015-2017 

哲学硕士，卡尔加里大学

2017-2023

哲学博士，圣母大学

部分论文：

Abstraction Principles and the Size of Reality. Forthcoming. Review of Symbolic Logic.

Axiomatization and Forcing in Set Theory with Urelements. Journal of Symbolic Logic. Published online 2024:1-27. doi:10.1017/jsl.2024.58

Boolean-valued Models of Set Theory with Urelements, with Xinhe Wu. Notre Dame Journal of Formal Logic. 65 (2):203-227. 2024.

Reflection in Second-Order Set Theory with Abundant Urelements Bi-Interprets a Supercompact Cardinal, with Joel David Hamkins. Journal of Symbolic Logic. 89 (3):1007-1043. 2024.

Reflective Mereology. Journal of Philosophical Logic 52(4): 1171-1196. 2023. 

Reflection Principles and Second-Order Choice Principles with Urelements. Annals of Pure and Applied Logic 173 (4):103073. 2022.

科研项目：

国家自然科学基金委员会，青年科学基金项目，No.12401001，带有无素的集合论研究，2025.01--2027.12，主持