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.
Citation
Tatiana Arrigoni. Sy-David Friedman. "The hyperuniverse program." Bull. Symbolic Logic 19 (1) 77 - 96, March 2013. https://doi.org/10.2178/bsl.1901030
Information
