Evidence for set-theoretic truth and the hyperuniverse programme
pp. 75-107
in: Carolin Antos, Radek Honzik, Claudio Ternullo, Sy D. Friedman (eds), The hyperuniverse project and maximality, Berlin, Springer, 2018Abstract
I discuss three potential sources of evidence for truth in set theory, coming from set theory's roles as a branch of mathematics and as a foundation for mathematics as well as from the intrinsic maximality feature of the set concept. I predict that new non first-order axioms will be discovered for which there is evidence of all three types, and that these axioms will have significant first-order consequences which will be regarded as true statements of set theory. The bulk of the paper is concerned with the Hyperuniverse Programme, whose aim is to discover an optimal mathematical principle for expressing the maximality of the set-theoretic universe in height and width.