The modal logic of arithmetic potentialism and the universal algorithm Posted on January 15, 2018 by Joel David Hamkins 5
