The hyperuniverse program
Tatiana Arrigoni, Sy‐David Friedman · Bulletin of Symbolic Logic · 2013
Abstract The Hyperuniverse Program is a new approach to set-theoretic truth which is based on justifiable principles and leads to the resolution of many questions independent from ZFC. The purpose of this paper is to present this program, to illustrate its mathematical content and implications, and to discuss its philosophical assumptions.