The Set Theoretic Pluralism network draws together mathematicians and philosophers to grapple with the idea that mathematical reality may be indeterminate.
Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of indepen...
Set-theoretic Pluralism, Symposium I, July 12-17, 2016, at the University of Aberdeen. My talk will be the final talk of the conference. Abstract. I shall discuss several bits of pluralism-inspire…
This paper explores the foundational roles played by set theory, evaluates the suggestion that category theory would be a better foundation than set theory, and considers the prospects for replacing...