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 2020
2020
27 ottobre
Model theory is a branch of mathematical logic that uses tools from logic in order to explore mathematical structures (models). When those structures are of geometric nature, we tend to call this study "tame geometry". We will give a broad introduction to tame geometry, and survey some topics at the nexus of model theory and: (a) Diophantine geometry, focusing on recovering algebraic curves from "definable" sets with many rational points, (b) group theory, on a definable version of Hilbert's 5th problem, and (c) extremal combinatorics, around the Vapnik-Chervonenkis theory and its links to statistical learning (time permitting).