jdh.hamkins.org
The modal logic of arithmetic potentialism and the universal algorithm
[bibtex key=”Hamkins:The-modal-logic-of-arithmetic-potentialism”]