Repository | Book | Chapter

179388

(2018) The hyperuniverse project and maximality, Dordrecht, Springer.

Explaining maximality through the hyperuniverse programme

Claudio Ternullo , Sy David Friedman

pp. 185-204

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.

Publication details

DOI: 10.1007/978-3-319-62935-3_9

Full citation:

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.