{"id":2280,"date":"2019-07-28T17:46:49","date_gmt":"2019-07-28T15:46:49","guid":{"rendered":"http:\/\/umi.dm.unibo.it\/congresso2019\/?page_id=2280"},"modified":"2023-08-29T11:48:00","modified_gmt":"2023-08-29T09:48:00","slug":"s19-logica-matematica","status":"publish","type":"page","link":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/","title":{"rendered":"S20 – Logica Matematica"},"content":{"rendered":"

Le comunicazione si <\/strong>terranno nei giorni mercoled\u00ec 6, gioved\u00ec 7 e venerd\u00ec 8 settembre, Polo Fibonacci, Aula F1<\/b><\/p>\n\n\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Claudio<\/span><\/td>\nAgostini<\/span><\/td>\nUniversita di Torino<\/span><\/td>\nColorful actions of monoids, finite and infinite<\/span><\/td>\nore 11.40-12.00, mercoled\u00ec 6 settembre<\/span><\/td>\n<\/tr>\n
Gianluca<\/span><\/td>\nBasso<\/span><\/td>\nUniversit\u00e9 Claude Bernard Lyon 1<\/span><\/td>\nGroups with the Generic Point Property<\/span><\/td>\nore 12.40-13.00, mercoled\u00ec 6 settembre<\/span><\/td>\n<\/tr>\n
Luca<\/span><\/td>\nCarai<\/span><\/td>\nUniversit\u00e0 \u00a0di Salerno<\/span><\/td>\nModal companions of monadic intuitionistic logic<\/span><\/td>\nore 11.40-12.00, gioved\u00ec 7 settembre<\/span><\/td>\n<\/tr>\n
Annalisa<\/span><\/td>\nConversano<\/span><\/td>\nMassey University Auckland, New Zealand<\/span><\/td>\nAmenability, Euler characteristic and o-minimality<\/span><\/td>\nore 11.00-11.40, mercoled\u00ec 6 settembre<\/span><\/td>\n<\/tr>\n
Anna<\/span><\/td>\nDe Mase<\/span><\/td>\nUniversit\u00e0 della Campania\u00a0<\/span><\/td>\nOn model theory of mixed characteristic henselian valued fields<\/span><\/td>\nore 12.00-12.20, mercoled\u00ec 6 settembre<\/span><\/td>\n<\/tr>\n
Giulio<\/span><\/td>\nFellin<\/span><\/td>\nUniversit\u00e0 di Verona<\/span><\/td>\nGlivenko-style results for abstract entailment relations<\/span><\/td>\nore 12.20-12.40, gioved\u00ec 7 settembre<\/span><\/td>\n<\/tr>\n
Marta<\/span><\/td>\nFiori Carones<\/span><\/td>\nIstituto di matematica Sobolev, Russia<\/span><\/td>\nUna comparazione della comparazione tra teoremi<\/span><\/td>\nore 12.00-12.20, venerd\u00ec 8 settembre<\/span><\/td>\n<\/tr>\n
Serafina<\/span><\/td>\nLapenta<\/span><\/td>\nUniversit\u00e0 di Salerno<\/span><\/td>\nde Finetti coherence in infinitary logic<\/span><\/td>\nore 11.40-12.00, venerd\u00ec 8 settembre<\/span><\/td>\n<\/tr>\n
Samuele<\/span><\/td>\nMaschio<\/span><\/td>\nUniversit\u00e0 di Padova<\/span><\/td>\nA constructive predicative variant of Hyland\u2019s effective topos<\/span><\/td>\nore 12.40-13.00, venerd\u00ec 8 settembre<\/span><\/td>\n<\/tr>\n
Rosario<\/span><\/td>\nMennuni<\/span><\/td>\nUniversit\u00e0 di Pisa<\/span><\/td>\nThe amalgamation property for automorphisms of ordered abelian groups<\/span><\/td>\nore 12.20-12.40, mercoled\u00ec 6 settembre<\/span><\/td>\n<\/tr>\n
Mariaclara<\/span><\/td>\nRagosta<\/span><\/td>\nUniversit\u00e0 di Pisa<\/span><\/td>\nCentral Sets and infinite monochromatic exponential patterns<\/span><\/td>\nore 12.00-12.20, gioved\u00ec 7 settembre<\/span><\/td>\n<\/tr>\n
Luca<\/span><\/td>\nReggio<\/span><\/td>\nUniversity College London<\/span><\/td>\nPolyadic spaces, homomorphism counting and omega-categorical theories<\/span><\/td>\nore 11.00-11.40, gioved\u00ec 7 settembre<\/span><\/td>\n<\/tr>\n
Riccardo<\/span><\/td>\nTreglia<\/span><\/td>\nUniversit\u00e0 di Bologna<\/span><\/td>\nThe Dynamics of Filter Models<\/span><\/td>\nore 12.20-12.40, venerd\u00ec 8 settembre<\/span><\/td>\n<\/tr>\n
Davide<\/span><\/td>\nTrotta<\/span><\/td>\nUniversit\u00e0 di Pisa<\/span><\/td>\nGeneralizzazioni della fasci<\/span><\/td>\nore 12.40-13.00, gioved\u00ec 7 settembre<\/span><\/td>\n<\/tr>\n
Andrea<\/span><\/td>\nVaccaro<\/span><\/td>\nUniversity of M\u00fcnster<\/span><\/td>\nModel Theory and Games on Classifiable C\u2217-algebras<\/span><\/td>\nore 11.00-11.40, venerd\u00ec 8 settembre<\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Le comunicazione si terranno nei giorni mercoled\u00ec 6, gioved\u00ec 7 e venerd\u00ec 8 settembre, Polo Fibonacci, Aula F1 Claudio Agostini Universita di Torino Colorful actions of monoids, finite and infinite ore 11.40-12.00, mercoled\u00ec 6 settembre Gianluca Basso Universit\u00e9 Claude Bernard Lyon 1 Groups with the Generic Point Property ore 12.40-13.00, mercoled\u00ec 6 settembre Luca Carai […]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":205,"menu_order":19,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"yoast_head":"\nS20 - Logica Matematica - Congresso UMI 2023<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"S20 - Logica Matematica - Congresso UMI 2023\" \/>\n<meta property=\"og:description\" content=\"Le comunicazione si terranno nei giorni mercoled\u00ec 6, gioved\u00ec 7 e venerd\u00ec 8 settembre, Polo Fibonacci, Aula F1 Claudio Agostini Universita di Torino Colorful actions of monoids, finite and infinite ore 11.40-12.00, mercoled\u00ec 6 settembre Gianluca Basso Universit\u00e9 Claude Bernard Lyon 1 Groups with the Generic Point Property ore 12.40-13.00, mercoled\u00ec 6 settembre Luca Carai […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/\" \/>\n<meta property=\"og:site_name\" content=\"Congresso UMI 2023\" \/>\n<meta property=\"article:modified_time\" content=\"2023-08-29T09:48:00+00:00\" \/>\n<meta name=\"twitter:label1\" content=\"Tempo di lettura stimato\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minuti\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/\",\"url\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/\",\"name\":\"S20 - Logica Matematica - Congresso UMI 2023\",\"isPartOf\":{\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/#website\"},\"datePublished\":\"2019-07-28T15:46:49+00:00\",\"dateModified\":\"2023-08-29T09:48:00+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/#breadcrumb\"},\"inLanguage\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Programma\",\"item\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Sezioni\",\"item\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"S20 – Logica Matematica\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/#website\",\"url\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/\",\"name\":\"Congresso UMI 2023\",\"description\":\"Un nuovo sito targato WordPress\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/umi.dm.unibo.it\/congresso2023\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"it-IT\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"S20 - Logica Matematica - Congresso UMI 2023","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/","og_locale":"it_IT","og_type":"article","og_title":"S20 - Logica Matematica - Congresso UMI 2023","og_description":"Le comunicazione si terranno nei giorni mercoled\u00ec 6, gioved\u00ec 7 e venerd\u00ec 8 settembre, Polo Fibonacci, Aula F1 Claudio Agostini Universita di Torino Colorful actions of monoids, finite and infinite ore 11.40-12.00, mercoled\u00ec 6 settembre Gianluca Basso Universit\u00e9 Claude Bernard Lyon 1 Groups with the Generic Point Property ore 12.40-13.00, mercoled\u00ec 6 settembre Luca Carai […]","og_url":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/","og_site_name":"Congresso UMI 2023","article_modified_time":"2023-08-29T09:48:00+00:00","twitter_misc":{"Tempo di lettura stimato":"2 minuti"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/","url":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/","name":"S20 - Logica Matematica - Congresso UMI 2023","isPartOf":{"@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/#website"},"datePublished":"2019-07-28T15:46:49+00:00","dateModified":"2023-08-29T09:48:00+00:00","breadcrumb":{"@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/s19-logica-matematica\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/umi.dm.unibo.it\/congresso2023\/"},{"@type":"ListItem","position":2,"name":"Programma","item":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/"},{"@type":"ListItem","position":3,"name":"Sezioni","item":"https:\/\/umi.dm.unibo.it\/congresso2023\/programma\/sezioni\/"},{"@type":"ListItem","position":4,"name":"S20 – Logica Matematica"}]},{"@type":"WebSite","@id":"https:\/\/umi.dm.unibo.it\/congresso2023\/#website","url":"https:\/\/umi.dm.unibo.it\/congresso2023\/","name":"Congresso UMI 2023","description":"Un nuovo sito targato WordPress","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/umi.dm.unibo.it\/congresso2023\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"it-IT"}]}},"_links":{"self":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/2280"}],"collection":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/comments?post=2280"}],"version-history":[{"count":16,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/2280\/revisions"}],"predecessor-version":[{"id":6022,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/2280\/revisions\/6022"}],"up":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/pages\/205"}],"wp:attachment":[{"href":"https:\/\/umi.dm.unibo.it\/congresso2023\/wp-json\/wp\/v2\/media?parent=2280"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}