Seminario del 2025

Gennaio
09
2025
Ivan Di Liberti
Fragments of Geometric Logic and their behaviour
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
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.
organizzato da: Martino Lupini
nell'ambito del Progetto Fondi U.E. ERC DAT CUP J33C22004270006 G.A. 101077154 DEFINABLE ALGEBRAIC TOPOLOGY del prof. Martino Lupini

indietro