The Search for New Axioms in 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 161-183 from Springer

Abstract: Abstract The Hyperuniverse Programme, introduced in Arrigoni and Friedman (Bull Symb Log 19(1):77–96, 2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the ‘maximal iterative concept’, and the programme identifies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements ( ℍ $$\mathbb {H}$$ -axioms) in countable transitive models, the collection of which constitutes the ‘hyperuniverse’ ( ℍ $$\mathbb {H}$$ ), has remarkable first-order consequences, some of which we review in Sect. 5.

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_8

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

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

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