Antos, Carolin
The Hyperuniverse Project and Maximality
1. Class Forcing in Class Theory
Carolin Antos
2. Hyperclass Forcing in Morse-Kelley Class Theory
Carolin Antos, Sy-David Friedman
3. Multiverse Conceptions in Set Theory
Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
4. Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
Sy-David Friedman
5. On the Set-Generic Multiverse
Sy-David Friedman, Sakaé Fuchino, Hiroshi Sakai
6. On Strong Forms of Reflection in Set Theory
Sy-David Friedman, Radek Honzik
7. Definability of Satisfaction in Outer Models
Sy-David Friedman, Radek Honzik
8. The Search for New Axioms in the Hyperuniverse Programme
Sy-David Friedman, Claudio Ternullo
9. Explaining Maximality Through the Hyperuniverse Programme
Sy-David Friedman, Claudio Ternullo
10. Large Cardinals and the Continuum Hypothesis
Radek Honzik
11. Gödel’s Cantorianism
Claudio Ternullo
12. Remarks on Buzaglo’s Concept Expansion and Cantor’s Transfinite
Claudio Ternullo
Keywords: Mathematics, Mathematical Logic and Foundations, Philosophy of Mathematics
- Editor
- Antos, Carolin
- Friedman, Sy-David
- Honzik, Radek
- Ternullo, Claudio
- Publisher
- Springer
- Publication year
- 2018
- Language
- en
- Edition
- 1
- Page amount
- 11 pages
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9783319629353
- Printed ISBN
- 978-3-319-62934-6