Bokai Yao
From MaRDI portal
Person:2668000
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Axiomatization and forcing in set theory with urelements The Journal of Symbolic Logic | 2026-03-11 | Paper |
| Abstraction principles and the size of reality The Review of Symbolic Logic | 2025-10-21 | Paper |
| Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal Journal of Symbolic Logic | 2024-11-25 | Paper |
| Boolean-valued models of set theory with urelements Notre Dame Journal of Formal Logic | 2024-08-19 | Paper |
| Reflective mereology Journal of Philosophical Logic | 2023-08-02 | Paper |
| Set Theory with Urelements | 2023-03-24 | Paper |
| Forcing with Urelements | 2022-12-27 | Paper |
| Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal | 2022-04-20 | Paper |
| Reflection principles and second-order choice principles with urelements Annals of Pure and Applied Logic | 2022-03-03 | Paper |
Research outcomes over time
This page was built for person: Bokai Yao
