Foundations of Science:1-19 (forthcoming)
| Authors |
|
| Abstract |
In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and also briefly shows how optimal principles, among those available, may be selected in a justifiable way.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/s10699-020-09707-8 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford, England: Oxford University Press.
From Kant to Hilbert: A Source Book in the Foundations of Mathematics.William Bragg Ewald (ed.) - 1996 - Oxford University Press.
View all 35 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Explaining Maximality Through the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 185-204.
Evidence for Set-Theoretic Truth and the Hyperuniverse Programme.Sy-David Friedman - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 75-107.
The Hyperuniverse Project and Maximality.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.) - 2018 - Basel, Switzerland: Birkhäuser.
The Search for New Axioms in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 161-183.
The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Andrea Sereni & Francesca Boccuni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Berlin: Springer. pp. 165-188.
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 47-73.
Closed Maximality Principles: Implications, Separations and Combinations.Gunter Fuchs - 2008 - Journal of Symbolic Logic 73 (1):276-308.
The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. Filmat Studies in the Philosophy of Mathematics. Berlin: Springer Verlag. pp. 165-188.
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.
Closed Maximality Principles and Generalized Baire Spaces.Philipp Lücke - 2019 - Notre Dame Journal of Formal Logic 60 (2):253-282.
On Strong Forms of Reflection in Set Theory.Sy-David Friedman & Radek Honzik - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 125-134.
On a Class of Maximality Principles.Daisuke Ikegami & Nam Trang - 2018 - Archive for Mathematical Logic 57 (5-6):713-725.
The Hyperuniverse Program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.
Analytics
Added to PP index
2020-10-23
Total views
13 ( #769,307 of 2,507,011 )
Recent downloads (6 months)
2 ( #277,393 of 2,507,011 )
2020-10-23
Total views
13 ( #769,307 of 2,507,011 )
Recent downloads (6 months)
2 ( #277,393 of 2,507,011 )
How can I increase my downloads?
Downloads
