Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2010
2010
10 settembre
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).