{"id":1978,"date":"2019-07-20T09:40:03","date_gmt":"2019-07-20T07:40:03","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=1978"},"modified":"2023-09-20T19:44:48","modified_gmt":"2023-09-20T17:44:48","slug":"domains-and-orders","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=1978","title":{"rendered":"Domains and orders"},"content":{"rendered":"

Here is the list of posts on domains and posets, as opposed to more general topological spaces, so far:<\/p>\n

    \n
  1. Bourbaki, Witt, and Dito Pataraia<\/a><\/li>\n
  2. Quasi-continuous dcpos and locally finitary compact spaces<\/a><\/li>\n
  3. Iwamura’s lemma, Markowsky’s theorem and ordinals<\/a><\/li>\n
  4. Coherence of dcpos<\/a><\/li>\n
  5. Well-filtered dcpos<\/a><\/li>\n
  6. Markowsky or Cohn?<\/a><\/li>\n
  7. FS-domains of discs and formal balls<\/a><\/li>\n
  8. Dcpos and convergence spaces I: Scott and Heckmann convergences<\/a><\/li>\n
  9. Dcpos and convergence spaces II: preserving products<\/a><\/li>\n
  10. Bc-hulls and Clat-hulls<\/a><\/li>\n
  11. Quotients, colimits of dcpos, and related matters<\/a><\/li>\n
  12. Dcpos built as graphs of functions<\/a><\/li>\n
  13. X. Jia’s well-filtered, non-sober dcpo<\/a><\/li>\n
  14. Quasi-Polish spaces and rounded ideal completions<\/a><\/li>\n
  15. Zhao, Xi, and Chen’s well-filtered, non-sober dcpo<\/a><\/li>\n
  16. Plotkin’s powerdomain and the hedgehog<\/a><\/li>\n
  17. L-domains, stable open sets, and stable Stone duality<\/a><\/li>\n
  18. A report from ISDT’22: one-step closure; c-spaces are not CCC<\/a><\/li>\n
  19. Scott’s formula<\/a><\/li>\n<\/ol>\n

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

    Here is the list of posts on domains and posets, as opposed to more general topological spaces, so far: Bourbaki, Witt, and Dito Pataraia Quasi-continuous dcpos and locally finitary compact spaces Iwamura’s lemma, Markowsky’s theorem and ordinals Coherence of dcpos … 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-1978","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/1978","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=1978"}],"version-history":[{"count":16,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/1978\/revisions"}],"predecessor-version":[{"id":7195,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/pages\/1978\/revisions\/7195"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1978"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}