{"id":"arxiv/2603.27077","url":"https://arxiv.org/abs/2603.27077","tags":["math.LO"],"score":0,"title":"Gradualist descriptionalist set theory","domain":"math.LO","source":"arxiv","authors":["David Simmons"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-28","reactions":{}}