Arithmetic potentialism and the universal algorithm, CUNY Logic Workshop, September 2017
This will be a talk for the CUNY Logic Workshop at the CUNY Graduate Center, September 8, 2017, 2-3:30, room GC 6417. Abstract. Consider the collection of all the models of arithmetic under the end…
