Kurt Gödel Research Center

2011 seminar talk: The Hyperuniverse Program. An overview.

Talk held by Tatiana Arrigoni (KGRC) at the KGRC seminar on 2011-12-15.

Abstract

The "Hyperuniverse Program" is an approach due to Sy Friedman inspired by the search of solutions to questions undecidable in ZFC (see Friedman, Sy D., Internal consistency and the Inner Model Hypothesis, Bulletin of Symbolic Logic 12 (4), 2006, 591-600). The purpose of this talk is to illustrate and discuss this program in the broader context of the contemporary debate on the consequences of independence phenomena in set theory, with a particular focus on its underlying philosophical assumptions.