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

Avainsanat: Mathematics, Mathematical Logic and Foundations, Philosophy of Mathematics