Evidence for Set-Theoretic Truth and the Hyperuniverse Programme

Sy-David Friedman ()
Additional contact information
Sy-David Friedman: University of Vienna, Kurt Gödel Research Center

A chapter in The Hyperuniverse Project and Maximality, 2018, pp 75-107 from Springer

Abstract: Abstract 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.

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_4

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

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

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 ().