Thomas Streicher (Univ. Darmstadt (DE)), How Unique are Ground Models

Programme

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.