Sheaf models and constructive mathematics

Speaker:  Thierry Coquand - Göteborgs Universitet
  Monday, April 12, 2021 at 4:30 PM Online via Zoom
Sheaf models over sites, introduced by Grothendieck in algebraic geometry, are also important
in the meta-theory of intuitionistic mathematics for showing that some properties are not valid constructively
or for providing models of the notion of choice sequences. In this talk, I would like to explain another use of sheaf
models in constructive mathematics, suggested by Joyal in 1975, which is to provide a way to build an algebraic
closure of an arbitrary field.

Zoom link:
Meeting ID: 850 1683 9877
Passcode: 704378

Contact Person: P. Schuster

Programme Director

Publication date
March 29, 2021