cherubino

Modelli booleani e come fascificarli – Moreno Pierobon (Università di Pisa)

Venue

Dipartimento di Matematica, Aula Seminari.

Abstract

I modelli booleani sono strutture in cui i valori di verità degli enunciati sono elementi di un’algebra di Boole (tipicamente infinita). Nati come approccio alla tecnica del forcing, essi sono anche un valido strumento per costruire nuove strutture al prim’ordine.

In questo seminario innanzitutto descriveremo le nozioni di modello booleano pieno e di modello booleano con la mixing property. La prima proprietà permette di controllare la semantica ogni qual volta si quozienta il modello per un ultrafiltro; la seconda è una proprietà più forte della pienezza ed è più facile da verificare.

Nella seconda parte, descriveremo a grandi linee la corrispondenza tra modelli booleani e prefasci topologici, corrispondenza nella quale i modelli con la mixing property sono quelli associati ai fasci. Introdurremo poi una nozione di fascificazione di Stone, che permette di associare in maniera canonica ad ogni modello booleano un nuovo modello con la mixing property.

I risultati presentati sono parte di un lavoro con Matteo Viale.

Further information is available on the event page on the Indico platform.

Torna in cima