{"id":2514,"date":"2020-04-20T10:14:50","date_gmt":"2020-04-20T14:14:50","guid":{"rendered":"http:\/\/matroidunion.org\/?p=2514"},"modified":"2020-04-29T11:49:15","modified_gmt":"2020-04-29T15:49:15","slug":"online-talk-dillon-mayhew","status":"publish","type":"post","link":"https:\/\/matroidunion.org\/?p=2514","title":{"rendered":"Online talk: Dillon Mayhew"},"content":{"rendered":"\n<p><strong>Mon, April 27<\/strong> 3pm ET (8pm BST, 7am Tue NZST)<br \/><strong><a href=\"https:\/\/homepages.ecs.vuw.ac.nz\/~mayhew\/\">Dillon Mayhew<\/a>,<\/strong> Victoria University of Wellington<br \/><strong>Definability and non-definability for classes of matroids<br \/><a href=\"https:\/\/www.youtube.com\/watch?v=hf_o3bXcQcs\">Youtube Link<\/a><\/strong><\/p>\n<p><strong>Abstract:<br \/><\/strong>Monadic second-order logic provides a bridge between the theory of computation and the structure of graphs and matroids. So it is natural to ask which classes can be characterised by a sentence in monadic second-order logic. In some sense this problem is uninteresting for graphs, since every minor-closed class can be defined in this way. But there are minor-closed classes of matroids that can not be defined in monadic second-order logic. This talk is going to discuss the boundary between definability and non-definability, with special reference to classes of gain-graphic matroids.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Mon, April 27 3pm ET (8pm BST, 7am Tue NZST)Dillon Mayhew, Victoria University of WellingtonDefinability and non-definability for classes of matroidsYoutube Link Abstract:Monadic second-order logic provides a bridge between the theory of computation and the structure of graphs and matroids. &hellip; <a href=\"https:\/\/matroidunion.org\/?p=2514\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":19,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[11],"class_list":["post-2514","post","type-post","status-publish","format-standard","hentry","category-matroids","tag-online-talks"],"_links":{"self":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/2514","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/users\/19"}],"replies":[{"embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2514"}],"version-history":[{"count":3,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/2514\/revisions"}],"predecessor-version":[{"id":2522,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/2514\/revisions\/2522"}],"wp:attachment":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2514"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2514"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2514"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}