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., [http://www.logic.univie.ac.at/~sdf/papers/internalpaper.pdf 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.
The Hyperuniverse Program. An overview
15.12.2011 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25