Thomas Streicher (Darmdstadt, Germany), The Classical Realizability Tripos and Topos
Schedule
- Feb. 14, 2012, 14:00 - 15:00
Abstract
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.
Attachments
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.