{"id":"arxiv/2608.30422","url":"https://arxiv.org/abs/2608.30422","tags":["math.LO"],"score":0,"title":"The Iterative Conception Reconsidered","domain":"math.LO","source":"arxiv","authors":["Bokai Yao"],"reviews":0,"subject":"math.LO","summary":"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 stage theory and as level theory, and develop a general theory of levels with urelements. Unlike their pure-set counterparts, the resulting stage and level theories are not set-theoretically equivalent; moreover, second-order level theory with urelements is not weakly quasi-categorical. We then consider further principles governing stages and levels, motivated by directedness, unboundedness, and reflection. Some of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}