The Iterative Conception Reconsidered
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.30422
curl -X POST /api/v1/records/arxiv/2608.30422/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.30422/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'