Explaining Maximality Through the Hyperuniverse Programme

Sy-David Friedman () and Claudio Ternullo ()
Additional contact information
Sy-David Friedman: University of Vienna, Kurt Gödel Research Center for Mathematical Logic
Claudio Ternullo: University of Vienna, Kurt Gödel Research Center for Mathematical Logic

A chapter in The Hyperuniverse Project and Maximality, 2018, pp 185-204 from Springer

Abstract: Abstract 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 hyperuniverse, consisting of all countable transitive models of ZFC, and V -logic, both of which are also fully discussed in the paper.

Date: 2018
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-62935-3_9

Ordering information: This item can be ordered from
http://www.springer.com/9783319629353

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

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().