Sala Seminari (Dip. Matematica).<\/p>\n
Una costruzione comune in teoria dei modelli consiste nel partire da una teoria T, aggiungere al linguaggio un simbolo per un automorfismo, ottenendo una teoria T’, e considerare la classe K dei modelli esistenzialmente chiusi di T’. A volte, la classe K \u00e8 elementare; per esempio, questo succede quando T \u00e8 la teoria dei campi algebricamente chiusi; la teoria di K \u00e8 in questo caso nota come ACFA. D’altra parte, se T \u00e8 una teoria SOP, per un risultato di Kikyo e Shelah la classe K non \u00e8 elementare. Ciononostante, \u00e8 possibile usare la logica positiva per applicare tecniche model-teoretiche allo studio di K. Per esempio, la logica positiva pu\u00f2 essere usata per generalizzare la nozione di NIP. In un lavoro in corso con Jan Dobrowolski, mostriamo che, se T \u00e8 la teoria degli ordini lineari densi senza estremi, allora la teoria positiva della corrispondente K \u00e8 NIP. Passiamo poi ad esaminare il caso dove T \u00e8 la teoria dei gruppi abeliani ordinati divisibili. In questo seminario introdurr\u00f2 brevemente la logica positiva, ricorder\u00f2 alcuni risultati esistenti sugli automorfismi delle strutture ordinate, e parler\u00f2 del lavoro in corso di cui sopra. <\/p>\n","protected":false},"excerpt":{"rendered":"
Una costruzione comune in teoria dei modelli consiste nel partire da una teoria T, aggiungere al linguaggio un simbolo per un automorfismo, ottenendo una teoria T’, e considerare la classe K dei modelli esistenzialmente chiusi di T’. A volte, la…<\/p>\n