Seminario di algebra e geometria
ore
14:30
presso Vitali
Riassunto degli assiomi di von Neumann (memoirs AMS, 1981),
in una forma adeguata per confrontarli con approcci "moderni",
compreso il teorema di Soler.
Sviluppi recenti (C.Herrmann, 2008):
il calcolo proposizionale (connettivi) della logica quantistica di von Neumann e' decidibile
perche' la varieta' di ortoreticoli generata dal reticolo di
proiezioni di un qualsiasi "fattore finito" inifinito-dimensionale
coincide con la varieta' generata da tutti i fattori finito-dimensionali.
Questo si collega da un lato ai risultati generali appena
precedenti di C.Herrmann e collaboratori sulle varieta' di ortoreticoli
modulari e "existence varieties" di reticoli modulari complementati; da
un altro lato, fornisce la dimostrazione di un analogo puramente
algebrico di una congettura di A.Connes (1976).