{"id":4892,"date":"2022-03-22T08:37:58","date_gmt":"2022-03-22T07:37:58","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=4892"},"modified":"2022-03-22T08:37:58","modified_gmt":"2022-03-22T07:37:58","slug":"noetherian-spaces-wqos-and-their-statures","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=4892","title":{"rendered":"Noetherian spaces, wqos, and their statures"},"content":{"rendered":"\n

Those are the documents that I used for my invited talk at the TACL 2021<\/a> conference (Topology, Algebra, Categories and Logic) in Coimbra, Portugal, June 2022.<\/p>\n\n\n\n

The full slides<\/a>, with all animation steps; the shorter<\/a> presentation, without them.<\/p>\n\n\n\n

The videos:<\/p>\n\n\n\n

  1. Introduction<\/a>, introduction, well-quasi-orderings (2:13)<\/li>
  2. Wqos in verification<\/a> (8:05)<\/li>
  3. Noetherian spaces<\/a>, and examples (12:54)<\/li>
  4. Topological WSTS<\/a> (9:26)<\/li>
  5. Sobrifications<\/a>, and representations (6:14)<\/li>
  6. Statures<\/a> of Noetherian spaces (16:44)<\/li>
  7. Conclusion<\/a> (0:48)<\/li><\/ol>\n\n\n\n

    References<\/h2>\n\n\n\n
    1. Jean Goubault-Larrecq. Non-Hausdorff topology and domain theory, selected topics in point-set topology<\/a>. Cambridge University Press, May 2013. https:\/\/doi.org\/10.1017\/CBO9781139524438<\/a>. Noetherian spaces covered in Section 9.7.<\/li>
    2. Alain Finkel and Jean Goubault-Larrecq. Forward analysis for WSTS I. Completions<\/a>. Mathematical Structures in Computer Science<\/a> Volume 30 Issue 7<\/a>, August 2020, pages 752 – 832. https:\/\/doi.org\/10.1017\/S0960129520000195<\/a><\/li>
    3. Jean Goubault-Larrecq. Infinitary Noetherian constructions I. Infinite words<\/a>. Colloquium Mathematicum, published online<\/a>, January 2022. https:\/\/doi.org\/10.4064\/cm8077-4-2021<\/a><\/li>
    4. Jean Goubault-Larrecq, Simon Halfon, and Aliaume Lopez. Infinitary Noetherian constructions II. Transfinite words and the regular subword topology<\/a>. Submitted, 2022.<\/li>
    5. Jean Goubault-Larrecq and Bastien Laboureix. Statures and sobrification ranks of Noetherian spaces<\/a>. Submitted, 2022.<\/li><\/ol>\n\n\n\n
      \"jgl-2011\"<\/figure><\/div>\n\n\n\n

      \u2014 Jean Goubault-Larrecq<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

      Those are the documents that I used for my invited talk at the TACL 2021 conference (Topology, Algebra, Categories and Logic) in Coimbra, Portugal, June 2022. The full slides, with all animation steps; the shorter presentation, without them. The videos: … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_crdt_document":"","footnotes":""},"class_list":["post-4892","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/4892","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4892"}],"version-history":[{"count":25,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/4892\/revisions"}],"predecessor-version":[{"id":4917,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/4892\/revisions\/4917"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4892"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}