From geometric logic to algebraic geometry

Relatore
Peter Schuster - Mathematisches Institut, Universitaet Muenchen / Dipartimento di Filosofia, Universita' degli Studi di Firenze

Data e ora
martedì 5 maggio 2009 alle ore 17.00 - Ore 17 caffe' e pasticcini, ore 17.15 inizio seminario

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Lidia Angeleri

Referente esterno

Data pubblicazione
22 aprile 2009

Dipartimento
 

Riassunto

A partial realisation of Hilbert's programme has recently proved successful in commutative algebra. From a vantage point a reason for this is that algebraic statements typically can be expressed by geometric formulas, for which Barr's theorem says that classical logic with the axiom of choice is conservative over intuitionistic logic. Geometric formulas, moreover, correspond to the rules by which proof trees in dynamical algebra (Coste, Lombardi, Roy) are generated, and so allow for a neat computational interpretation as subprograms.

In realising Hilbert's programme in commutative algebra one of the key tools is Joyal's point-free presentation of the Zariski spectrum as a distributive lattice. Extending this to algebraic geometry requires to first reformulate Grothendieck's language of schemes in first-order terms. It turns out that distributive lattices even suffice for all the schemes whose underlying topological spaces are spectral. This includes the majority of schemes including the Noetherian ones.

- joint work with Thierry Coquand and Henri Lombardi -

ornamento
Inizio pagina