calanques_sugiton.jpeg

Bar recursion in classical realizability: dependent choice and continuum hypothesis

  • Jean-Louis Krivine

Schedule

  • Sept. 2, 2016, 17:05 - 17:35

Abstract

Follow up to the CSL talk of the same title.

Attachments