Abstract

Una struttura linearmente ordinata M è o-minimale se ogni sottoinisieme definibile (con parametri) del supporto di M è unione finita di intervalli aperti e di  singoletti.
Nel corso del talk parleremo di alcune strutture o-minimali particolarmente importanti che hanno ispirato la definizione di o-minimalità. Introdurremo il teorema di decomposizione in celle degli insiemi definibili per poi sfruttarlo per dimostrare che ogni struttura equivalente al primo ordine ad una struttura o-minimale è anch’essa o-minimale. Infine introdurremo un concetto di dimensione per i sottoinsiemi definibili.