Rencontre,
20 septembre 2018
Thomas Streicher (Univ. Darmstadt (DE)), How Unique are Ground Models
Programme
- 20 septembre 2018, 10:30 - 12:00
Résumé
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.