Gradualist descriptionalist set theory
We introduce a formal language GDST (gradualist descriptionalist set theory) with a family of interpretations indexed by ordinals, as well as a sublanguage NMID (the language of not necessarily monotonic inductive definitions), and show that the assertion that all propositions in NMID have well-defined truth values is equivalent to the existence for each $k \in \mathbb N$ of a sequence of ordinals $η_0 < . . . < η_k$ such that for each $i < k$, $η_i$ is $η_{i+1}$-reflecting, a notion we introduce which implies being $Π_n$-reflecting for all $n \in \mathbb N$ (and in particular being…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.27077
curl -X POST /api/v1/records/arxiv/2603.27077/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.27077/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'