The Search for New Axioms in the Hyperuniverse Programme
In Andrea Sereni & Francesca Boccuni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Berlin: Springer. pp. 165-188 (2016)
Abstract
The Hyperuniverse Programme, introduced in Arrigoni and Friedman (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 (H-axioms) in countable transitive models,
the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order
consequences, some of which we review in section 5.
Keywords
Categories
(categorize this paper)
PhilPapers/Archive ID
TERTSF
Upload history
Archival date: 2018-01-10
View other versions
View other versions
Added to PP index
2018-01-10
Total views
504 ( #14,748 of 70,017 )
Recent downloads (6 months)
36 ( #23,932 of 70,017 )
2018-01-10
Total views
504 ( #14,748 of 70,017 )
Recent downloads (6 months)
36 ( #23,932 of 70,017 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.