Strict potentialism is captured in bimodal modal logic and simplified via mirroring theorems into restricted plural or intuitionistic logics for use in set theory and foundations.
A New Approach to Predicative Set Theory , booktitle =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Strict potentialism in modal mirrors
Strict potentialism is captured in bimodal modal logic and simplified via mirroring theorems into restricted plural or intuitionistic logics for use in set theory and foundations.