Explaining maximality through the hyperuniverse programme
The (maximal) iterative concept of set is standardly taken to justify ZFC and some of its extensions. In this paper, we show that the maximal iterative concept also lies behind a class of further maximality principles expressing the maximality of the universe of sets V in height and width. These principles have been heavily investigated by the first author and his collaborators within the Hyperuniverse Programme. The programme is based on two essential tools: the class="EmphasisTypeItalic ">hyperuniverse, consisting of all countable transitive models of ZFC, and V -logic, both of which are also fully discussed in the paper.
Ternullo, C. , Friedman, S. (2018)., Explaining maximality through the hyperuniverse programme, in C. Antos, R. Honzik, C. Ternullo & S. D. Friedman (eds.), The hyperuniverse project and maximality, Dordrecht, Springer, pp. 185-204.
This document is unfortunately not available for download at the moment.