The Coding Conception of Set
We propose the Coding Conception of ordinals and sets, which takes Cantor's three generating principles as its sole foundation. Bounded sets of ordinals are generated synchronously with the ordinals themselves through a bijective encoding function that, at each stage, selects only the finitely many bounded sets actually required by the successor, limit, and restriction principles. This selective coding yields the first-order theory $SC^{reg}$, which we establish is the metamathematically correct theory of the ordinals: it is bi-interpretable with $ZFGC^+$, yet makes no claim about the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.11687
curl -X POST /api/v1/records/arxiv/2607.11687/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.11687/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'