© 2018

The Hyperuniverse Project and Maximality

  • Carolin Antos
  • Sy-David Friedman
  • Radek Honzik
  • Claudio Ternullo


  • First overview of the Hyperuniverse Programme

  • Illustrates its mathematical content and implications

  • Provides a robust and convincing philosophical justification for the Hyperuniverse Programme


Table of contents

  1. Front Matter
    Pages i-xi
  2. Carolin Antos
    Pages 1-16
  3. Carolin Antos, Sy-David Friedman
    Pages 17-46
  4. Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo
    Pages 47-73
  5. Sy-David Friedman, Sakaé Fuchino, Hiroshi Sakai
    Pages 109-124
  6. Sy-David Friedman, Radek Honzik
    Pages 125-134
  7. Sy-David Friedman, Radek Honzik
    Pages 135-160
  8. Sy-David Friedman, Claudio Ternullo
    Pages 161-183
  9. Sy-David Friedman, Claudio Ternullo
    Pages 185-204
  10. Claudio Ternullo
    Pages 227-258

About this book


This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.

The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory.

The Hyperuniverse Project was supported by the John Templeton Foundation from January 2013 until September 2015


hyperuniverse maximality multiverse new axioms forcing large cardinals inner model hypothesis

Editors and affiliations

  • Carolin Antos
    • 1
  • Sy-David Friedman
    • 2
  • Radek Honzik
    • 3
  • Claudio Ternullo
    • 4
  1. 1.ZukunftskollegUniversity of KonstanzKonstanzGermany
  2. 2.Kurt Gödel Research CenterUniversity of ViennaViennaAustria
  3. 3.Department of LogicCharles UniversityPragueCzech Republic
  4. 4.Kurt Gödel Research CenterUniversity WienWienAustria

About the editors

Professor Sy David Friedman is head of the "Kurt Gödel Research Center for Mathematical Logic", Vienna.

Bibliographic information

Industry Sectors
Finance, Business & Banking