Rencontre,
Sept. 20, 2018
Thomas Streicher (Univ. Darmstadt (DE)), How Unique are Ground Models
Schedule
- Sept. 20, 2018, 10:30 - 12:00
Abstract
Guided by basic topos theory we discuss the notion of "ground model" and how unique it is. We describe a few negative results and finish with discussing why the question is open for classical realizability.