Prof. P. Johnstone will give a lecture on Friday 23 at 11:00 in Sala del Consiglio, at the Department of Mathematics and Computer Science. “Toposes as higher-order theories” Abstract. The elementary reformulation of topos theory by Lawvere and Tierney allowed scope for the interpretation not only of first-order but also Read more…
Professor Peter Belluce will give a seminar at 11:00 of the 10th of February at the Sala Riunioni of the DMI.
Monday, 1st of February 2010 at 11:00 in the Sala Riunioni Dr. Olivia Caramello will give a seminar on “Il ruolo unificatore dei topoi nella matematica”. Everyone is welcome to join
Prof. Anatoliy Dvurecenskij will give a seminar on “States on MV-algebras” on Thursday 22 october 2009. The seminar will take place at 4.00 pm, in Sala Riunioni of the Department of Mathematics and Computer Science.
“MV algebras from the point of view of o-minimality” Abstract: O-minimality is a model-theoretic concept for ordered structures that amountsto requiring definable sets over the domain to be a finite union of singletons and open intervals.In this very informal talk, we will discuss how applying this concept to classes of Read more…