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 2025
Gennaio
09
2025
Ivan Di Liberti
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
Seminario di algebra e geometria, logica, teoria delle categorie
Inspired by a recent characterisation of coherent topoi as a class of Kan injectives, we provide a tentative definition of fragment of geometric logic. We treat them as mathematical objects, and study them from the point of view of Lindstrom-type theorems.