Thomas Streicher (Darmdstadt, Germany), The Classical Realizability Tripos and Topos


  • Feb. 14, 2012, 14:00 - 15:00


After recalling basic notions from tripos theory and classical realizability we show how classical realizability gives rise to a tripos and ensuing topos. Finally we pose some questions about assemblies which facilitate the study of realizability models over pca's but seem to be much more difficult in case of classical realizability.