activity
20222026
most citedReflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal

2 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

math.LO2026

The Iterative Conception Reconsidered

Bokai Yao

We investigate the iterative conception of set in its most general form, allowing urelements without assuming that they form a set. We formulate this conception in two ways, as sta…

math.LO2026

Reflection Principles in ZFU

Elliot Glazer, Bokai Yao

We separate the Collection Principle, the Reflection Principle, and the Partial Reflection Principle in ZF with urelements (ZFU), despite their equivalence under the Axiom of Choic…