Toposes for modified realizability

Add to your list(s) Download to your calendar using vCal

• Dr. Benno van den Berg (University of Amsterdam)
• Thursday 17 October 2019, 14:15-15:15
• MR4, Centre for Mathematical Sciences.

If you have a question about this talk, please contact José Siqueira.

One aim of the theory of realizability toposes is to give a conceptual and semantic account of the various realizability interpretations one can find in the proof-theoretic literature. But there is no direct route which goes from a proof-theoretic interpretation to its “corresponding” topos. In fact, one quickly finds that one has to make some choices on the way. I will discuss some of the issues that come up when one tries to define a modified realizability topos. Recall that the proof theorist (Kreisel, Troelstra) will think of modified realizability as an interpretation of arithmetic in finite types which validates independence of premise and the axiom of choice for all finite types. In the literature (Van Oosten’s book, for instance) one can find a modified realizability topos, due to Grayson, but it does not validate the axiom of choice for all finite types. I will discuss two possible ways in which this can be fixed. If time permits, I may even discuss a fourth topos which also has some claim to being a topos for modified realizability. (Joint work with Mees de Vries)

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• MR4, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.