From geometric logic to algebraic geometry
- 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
- Ca' Vignal 3 - Piramide, Piano 0, Sala Verde
- Lidia Angeleri
- Referente esterno
- Data pubblicazione
- 22 aprile 2009
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 -