University of Cambridge > Talks.cam > Category Theory Seminar > Classical Realizability

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Classical Realizability

Download to your calendar using vCal

If you have a question about this talk, please contact Julia Goedecke .

One of the more exciting developments in Realizability the last two decades, is J.-L. Krivine’s set of realizability interpretations for classical theories (in particular, set theory). In the talk we shall try to understand these developments in terms more familiar from categorical logic; this is based on work by Alexandre Miquel, Thomas Streicher and my student Wouiter Stekelenburg.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

British Antarctic Survey, Innovation Centre, Seminar Room 187 Cambridge Reproduction Henry Martyn Lectures

Other talks

Title to be confirmed Scattering Plenty: the people who made the modern countryside title and abstract tba (joint seminar with Spectral Geometry in the Clouds) Dinner Using numerical simulations for solving spectral geometry problems The United States of America at 250: Reflections on the Past, Present and Future of Independence
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity